diff options
| author | Marvin Borner | 2022-04-12 14:20:22 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-04-12 14:20:22 +0200 |
| commit | af953120359d9d65f2841f4ec67c4e2178d282af (patch) | |
| tree | e0ee80be02ffa37c6f51cfdcf4ffe7a548e4adc4 /test.bruijn | |
| parent | 32515bf8bf04958f22ce2cfe98edebc7b892774c (diff) | |
OK
Diffstat (limited to 'test.bruijn')
| -rw-r--r-- | test.bruijn | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test.bruijn b/test.bruijn index 7a2632d..c941535 100644 --- a/test.bruijn +++ b/test.bruijn @@ -1,5 +1,6 @@ -nil [[0]] +#nil [[0]] true [[1]] -false [[0]] +#false [[0]] id [0] +iota [0 [[[2 0 (1 0)]]] [[1]]] main id true |