search

smucclaw / baby-l4

A miniature version of the l4 language
BSD 3-Clause "New" or "Revised" License
10 stars 6 forks source link

issue #92 Support lexicon creation of all types of functions #101

Closed 1Regina closed 3 years ago

1Regina commented 3 years ago

resolve issue #92- Support lexicon creation of all types of functions #92 and also added test for src/ToGF/FromL4/ToAnswers.hs getAtoms

Attached is the test results: All within expectations tests_passed.txt