diff options
| author | Marvin Borner | 2023-02-22 15:51:34 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-02-22 15:51:34 +0100 |
| commit | ba815db7870e9c5cc416ff485a1f3ceca90c2765 (patch) | |
| tree | f951d97b07fb73d4a527467cfb24e50c4586ae6b /std/List.bruijn | |
| parent | c5dc5c2d811c66b47733b98a304c0f0b6cc6c947 (diff) | |
Added types for most combinators
Diffstat (limited to 'std/List.bruijn')
0 files changed, 0 insertions, 0 deletions