Initial HERMIT plugin, behaves like default interactive HERMIT
Add to .gitignore
Note about running plugin in README
Add Makefile
Skeleton of conversion rewrites.
Added reification demo.
Added help text for "reify".
.ghci with -package ghc and -XTemplateHaskell for experimenting in GHCi
findET, findET' for terseness/clarity of convertApp def.
use findET in convertLam
explicit import lists; re-export LambdaCCC.Misc
'(&&&), '(:.)
Added LambdaCCCDemo prefix to embeddingModule.
Merge branch 'master' of github.com:ku-fpg/lambda-ccc
Use callNameT
Added CoreShow from CLasH, with several tweaks for GHC 7.6.
LambdaCCC.Core and its use in LambdaCCC
test/Adder
LambdaCCC.FunCCC as temporary stand-in for CCC
pretty-print TODO