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
chunk |
Chunks: named, referenced vectors. |
list |
Linked lists. |
seq |
Sequences, as balanced level trees. |
vec |
Vectors |