TypeTheory/type-inference
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
1 commit 1 branch 0 tags 31 KiB

Default branch

main

e54697f0f4 · Implemented the hindley-milner algorithm for STLC · Updated 2023-06-11 14:24:48 +02:00

 ZIP  TAR.GZ

Branches