diff options
| author | Marvin Borner | 2023-10-14 18:22:17 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-10-14 18:22:17 +0200 |
| commit | 5f6211af0a05ae0fb39f3a04a786ffeffb6e4442 (patch) | |
| tree | 411f2bb4a04efebe0c0d0719b139198d8899c68c /std/Combinator.bruijn | |
| parent | e17ea13e7b94986af5d4b60ee6b83a34a0748249 (diff) | |
Generic Church and hyperfac
Diffstat (limited to 'std/Combinator.bruijn')
0 files changed, 0 insertions, 0 deletions