This is your work, valued
United States
Asher Frost
Intermediate@wizard7377
Just some random high school student who knows a little type theory
choice. DEPRACATED: Moved to https://github.com/wizard7377/idris-logic
5LLVM. A pure Idris interface to LLVM IR.
3SHIFT. Lamed calculus
2shibboleth. OCaml
2ArticleTemplate. A template for LaTeX articles
1idris-mult. Idris
1discPro. JavaScript
1twelf_old. The Twelf Programming Language
1idris-girard. Idris
1stelf. A port of the Twelf implementation of the Logical Framework to OCaml
1 views searches