Ignore tags file
Remove (>-) function from Dashie.Pretty
Rainbow AST
Universe checking
Add R monad and related things
Start of evaluator
First stab at typechecker (and unevaluator)
Pretty instance for Term
Val declaration parser
Fix interpreter's parser
Rearranging modules
Export list for Dashie.AST
Fix for Fixity prettyprinting
Export list for Dashie.Parser
Use prettyprint for parser error messages
Fix tests for parser after export lists added
Re-disable broken tests
Add constants (and their types) as builtins to Rainbow
Fix the empty environment bug in the typechecker
Rename R.err to R.getError