Ömer Sinan Ağacan (731d2c11) at 01 Jan 09:30
Kind signatures docs: mention that they're allowed in newtypes
Ömer Sinan Ağacan (5b603139) at 01 Jan 09:30
Revert "testsuite: mark jspace as fragile on i386."
... and 9 more commits
Ömer Sinan Ağacan (42f46440) at 23 Dec 14:57
Fix a code block syntax in user manual sec. 6.8.8.6
Ömer Sinan Ağacan (0038d052) at 23 Dec 14:49
testsuite: mark jspace as fragile on i386.
... and 7260 more commits
Ömer Sinan Ağacan (537a20cf) at 23 Dec 14:46
Fix BNF in user manual 6.6.8.2: formal syntax for instance declarat...
... and 7261 more commits