prism-dev/jgaltidor--twelf_tutorialpublic

Twelf Tutorial and Twelf Encoding of MiniLang

Dockerfile Updated 5 days ago 1 commits 7 stars
prism-dev|Mirror: jgaltidor/twelf_tutorial (⭐7)
5 days ago

About

Twelf Tutorial and Twelf Encoding of MiniLang

Readme
7 stars