Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Parser for the Twelf language. Most code borrowed from or heavily inspired by https://github.com/Athas/twelfppr.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Parser for the Twelf language. Most code borrowed from or heavily inspired by https://github.com/Athas/twelfppr.