diff options
Diffstat (limited to 'lambda-calcul/haskell/README.md')
| -rw-r--r-- | lambda-calcul/haskell/README.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/README.md b/lambda-calcul/haskell/README.md new file mode 100644 index 0000000..096627c --- /dev/null +++ b/lambda-calcul/haskell/README.md @@ -0,0 +1,8 @@ + +# minilang + +A minimal functional language to learn and experiment with type systems. + +* http://www.cse.chalmers.se/~bengt/papers/GKminiTT.pdf +* https://homotopytypetheory.org/2017/09/16/a-hands-on-introduction-to-cubicaltt/ +* https://github.com/kino3/Mini-TT |