1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15

/*!

Fungi standard library.

Based on collections in these papers:

- **Nominal memoization**: [_Incremental computation with names_, **OOPSLA 2015**](http://arxiv.org/abs/1503.07792).
- **Type and effect structures**: The draft [_Typed Adapton: Refinement types for incremental computation with precise names_](https://arxiv.org/abs/1610.00097).

*/

#[macro_use]

/// Sequences (linked lists, and balanced level trees)
pub mod seq;