YAS directory languages/EFPL/tests
GitHub
https://github.com/softlang/yas/tree/master/languages/EFPL/tests
Properties
None
Components
- languages/EFPL/tests/sample-past-inference.efpl (Functional program)
- languages/EFPL/tests/sample-past-specialization.efpl (Functional program)
- languages/EFPL/tests/sample.efpl (Functional program)
- languages/EFPL/tests/.ueber (Megamodel)