diff options
author | Eduardo Julian | 2015-07-19 23:43:37 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-07-19 23:43:37 -0400 |
commit | 3a760fa6c0f47f7621970b9747779f3edcc96286 (patch) | |
tree | de0e08366eae38ae4602862a39c2829bb5a8fab4 /input/program.lux | |
parent | f5e3afe5a5337b5dc840ed0fd6a76244cf0aac6b (diff) |
- Added a few more modules.
- Added some type-tags to avoid reflection inside the compiler.
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) |