| Description: | Tree sitter grammar for the ELPI dialect of λProlog. |
|---|---|
| Original Author: | Dominic Verity dominic.verity@anu.edu.au |
| License: | GPL v3 |
| Funding: | Partly funded under US Army ITC-IPAC R&D Project contract FA520923C0004. |
| Project title: | "Towards a synthetic theory of Extended TQFTs" |
Copyright © 2023 Dominic Verity and The Australian National University