Simplified FeldTypes
Haddock...
Added NUM symbols instead of using Construct
Added Untyped* modules
Added a module to convert between typed and untyped expressions
Module structure for Feldspar
Haddock for Feldspar
Generalized type of value
Export Data.Comp.Derive from DDSL.Untyped
Added untyped back end representation for Feldspar
Added Feldspar files to Cabal package
Export Data.Comp.Automata
Clean up imports
Export Control.Applicative.Const (..)
traverse instead of Traversable.mapM
Make inferTypes return a type-decorated AST
Added eval to Feldspar
minor
Translation between typed and untyped expressions for Feldspar
Added functions for rendering sugared expressions