Module fungi_lang::stdlib
[−]
[src]
Fungi standard library.
Based on collections in these papers:
- Nominal memoization: Incremental computation with names, OOPSLA 2015.
- Type and effect structures: The draft Typed Adapton: Refinement types for incremental computation with precise names.
Modules
seq |
Sequences (linked lists, and balanced level trees) |