prism-dev/jgaltidor--twelf_tutorialpublic

Twelf Tutorial and Twelf Encoding of MiniLang

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

About

Twelf Tutorial and Twelf Encoding of MiniLang

Readme
7 stars