diff options
Diffstat (limited to 'std/List.bruijn')
| -rw-r--r-- | std/List.bruijn | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/std/List.bruijn b/std/List.bruijn index 7673456..8e59ffd 100644 --- a/std/List.bruijn +++ b/std/List.bruijn @@ -2,11 +2,8 @@ # Lists in Church/Boehm-Berarducci encoding using pairs :import std/Combinator . - :import std/Pair P - :import std/Logic . - :import std/Number . # empty list element |