diff options
Diffstat (limited to '')
| -rw-r--r-- | input/program.lux | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/input/program.lux b/input/program.lux index 1bdb237b1..984d8610f 100644 --- a/input/program.lux +++ b/input/program.lux @@ -13,7 +13,9 @@ monad lazy comonad) - (data bounded + (data bool + bounded + char ## cont dict (either #as e) |