TypeTheory/type-inference
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Implementation of the Hindley-Milner Algorithm but for STLC instead of System F
1 commit 1 branch 0 tags 31 KiB
Find a file
Exact
reijix e54697f0f4 Implemented the hindley-milner algorithm for STLC
2023-06-11 14:24:48 +02:00
app Implemented the hindley-milner algorithm for STLC 2023-06-11 14:24:48 +02:00
.gitignore Implemented the hindley-milner algorithm for STLC 2023-06-11 14:24:48 +02:00
LICENSE Implemented the hindley-milner algorithm for STLC 2023-06-11 14:24:48 +02:00
type-inference.cabal Implemented the hindley-milner algorithm for STLC 2023-06-11 14:24:48 +02:00