Timeline for Extending Hindley Milner with (mutual) recursion
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 2 at 17:13 | comment | added | xuq01 | Unfortunately, not at hand. I can probably pinpoint the part of the implementation in typecore.ml, but that will take me some time... | |
| May 1 at 19:21 | comment | added | cody | I don't doubt you, but do you have a reference for this? | |
| May 1 at 11:36 | review | Low quality posts | |||
| May 2 at 17:26 | |||||
| May 1 at 11:20 | history | answered | xuq01 | CC BY-SA 4.0 |