KtlTheBest
Results
2
comments of
KtlTheBest
@mtshiba Good time of the day. Seems interesting. What type system are you trying to reproduce, Hindley-Milner of ML or is it something custom? Also, is the code for typechecker...
It is also the same for the Japanese version of the book as far as I can tell.