| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2010-03-31 | fixed a deep bug in TypeCheck due to swap of arguments; print empty record ↵ | aarne | |
| as <> instead of {} to distinguish from empty record type | |||
| 2009-12-13 | reorganize the directories under src, and rescue the JavaScript interpreter ↵ | krasimir | |
| from deprecated | |||
