From 3a760fa6c0f47f7621970b9747779f3edcc96286 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 19 Jul 2015 23:43:37 -0400 Subject: - Added a few more modules. - Added some type-tags to avoid reflection inside the compiler. --- input/program.lux | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'input/program.lux') 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) -- cgit v1.2.3