tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-09-20 16:08:14 +03:00
Code Issues Projects Releases Wiki Activity
785 Commits 114 Branches 18 Tags 51 MiB
eaffccde11
Commit Graph

4 Commits

Author SHA1 Message Date
Yann Hamdaoui
fc9c9523ca Save the review of the error reporting libs 2020-07-16 17:27:42 +02:00
Yann Hamdaoui
3d8a68ee29
Merge pull request #39 from tweag/teofr/typecheck-notes 
Some very simple notes on the type checking.
 2020-07-09 17:37:49 +02:00
Teodoro Freund
506140c2f9 Teodoro's notes on Nickel's typechecking algorithm 2020-07-09 17:33:25 +02:00
Teodoro Freund
513cc3c4d8 Teodoro's note on intersection and union types 2020-07-09 15:28:26 +02:00