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