Add letFloatCaseAltR to letFloatExprR
Do last derivation with new lemma-based w/w
Expose ExprH parser
Type directed command completion
Add new last to test suite
Update test references
Removed redundant import on GHC 7.6
Rename uqName and fqName, remove redundant var2String, other cleanup.
Use findNamesFromString on GHC 7.6
No completion for Ints, complete RewriteCoreBox
Improve case and application pretty-printing
Merge branch 'master' of github.com:ku-fpg/hermit
Large amount of cleanup and generalization of type sigs
Update test outputs to match pretty printer changes in f0fefbf217c47664b04a6f5f5db2e314d994e1d9
Require GHC 7.8
Merge branch 'master' of https://github.com/ku-fpg/hermit
Fixed merge-CPP mixup
Removed redundant function on Windows
Use loadSysInterface instead of loadPluginInterface when looking up names.
Merge branch 'master' of github.com:ku-fpg/hermit