Tree @master (Download .tar.gz)
lanthorn.md @master — view markup · raw · history · blame
-> Functionality "Evaluate Lanthorn Program" is implemented by
-> shell command "bin/lanthorn eval %(test-body-file)"
-> Functionality "Pretty-print Lanthorn Program" is implemented by
-> shell command "bin/lanthorn pretty %(test-body-file)"
-> Functionality "Desugar Lanthorn Program" is implemented by
-> shell command "bin/lanthorn desugar %(test-body-file)"