diff options
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 |