diff options
Diffstat (limited to 'std/List.bruijn')
| -rw-r--r-- | std/List.bruijn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/std/List.bruijn b/std/List.bruijn index 986b6bc..4758660 100644 --- a/std/List.bruijn +++ b/std/List.bruijn @@ -4,7 +4,7 @@ :import std/Combinator . :import std/Pair P :import std/Logic . -:import std/Number . +:import std/Number/Ternary . # empty list element empty false ⧗ (List a) |