compkoka (dev). This is compiled by Koka v3.2.2.
| ck | |
| algebra | |
| monoid | |
| binsearch | Binary search. |
| fenwick | Fenwick tree. |
| heap | Pairing heap. |
| io | Input/Output. |
| iter | Iteration. |
| map | Map. |
| math | Math. |
| segtree | Segment tree. |
| set | Set. |
| vector | Extra functions on vectors. |
.
Monoids.