Create README.md

joonazan · Apr 2, 2019 · a6ab4f3 · a6ab4f3
1 parent 61b61db
commit a6ab4f3
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1,4 @@
+# justified-type-inference
+An implementation of Compositional type inference in Idris with a complete proof
+
+I am now working on a [Coq version of this](https://github.com/joonazan/verified-type-inference) because of a code generation bug in Idris and because typechecking was so slow.