List view
JSON file loading; loses `datasets` field from specs
No due date•7/7 issues closed- No due date•1/1 issues closed
- No due date•6/6 issues closed
- No due date•2/2 issues closed
- No due date•1/1 issues closed
- No due date•8/8 issues closed
Modules and imports
No due date•33/33 issues closed- No due date•2/2 issues closed
- Due by December 18, 2024•5/5 issues closed
- Due by January 10, 2025•4/4 issues closed
Graph-based implementation with a new landing page and updated demos. Deadline <s>Wed 16 Oct 12:00 (when MPhil/Part III project suggestions go live)</s><s>Wed 6 November 16:00 (by ICCS all-hands meeting)</s>Fri 15 Nov (before I go on holiday).
Due by November 15, 2024•32/32 issues closed- Due by July 11, 2024•16/16 issues closed
- No due date•6/6 issues closed
- Due by January 20, 2024•97/97 issues closed
Support dictionaries (maps with strings as keys) as a new kind of external data type sharing a representation with records. Foreign functions for dictionaries like `foldl` and `intersectionWith` need to take higher-order arguments, so this release generalises the notion of primitive into (Galois-slicing) external functions that can take functional arguments.
No due date•5/5 issues closedDrop the expensive and complex “hole expansion” semantics used for v0.4. Precursor to implementing the JavaScript compiler.
No due date•15/15 issues closed- No due date•40/40 issues closed