diff options
author | Marvin Borner | 2023-02-23 02:16:29 +0100 |
---|---|---|
committer | Marvin Borner | 2023-02-23 02:16:29 +0100 |
commit | 0cb2b27268b637f5f87c797ba3982f64ec4bbd4c (patch) | |
tree | eae3d7b13dc1fdb77a14a4eaf0dccacae91447c4 /std/Combinator.bruijn | |
parent | ba815db7870e9c5cc416ff485a1f3ceca90c2765 (diff) |
Added more types
Diffstat (limited to 'std/Combinator.bruijn')
0 files changed, 0 insertions, 0 deletions