diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-13 09:27:07 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-13 09:27:07 +0200 |
| commit | 3a67e69bfe9492d2a2fc5e4b07cc8c909a346064 (patch) | |
| tree | 8b4b0281dffe166f5c8495b1a5b892c1f8285870 /lambda-calcul/haskell/README.md | |
| parent | 21befc8c8ab2e91632f5341b4fa9425cf3c815ff (diff) | |
| download | lambda-nantes-3a67e69bfe9492d2a2fc5e4b07cc8c909a346064.tar.gz | |
add minimal evaluator and type inference
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 |