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
list |
Linked lists. |
seq |
Sequences, as balanced level trees. |
vec |
Vectors and chunks (named, referenced vectors). |