core: wibble
Adjust .gitignore to ignore cabal sandbox files
Remove redundant default file (cabal file uses simple build)
Adjust ddc-war to build uniformly (and clean properly)
core: unswitch spec application checker and cleanup
alpha: wibbles to build with process-1.2
core: thread config through Eq, Inst, Sub judgements
core: handle explicit holes for type applications
core: error handling wibbles in checker
core: do type application with external judgment
core: give proper error message when the algorithm can't infer the type of a functional parameter
code: cite the bidirectional inference paper
core: comments and cleanups to checker
core: kind checker refactor, and detect universe malfunctions with tyvars
core: default the kind of a quantified type to Data if it's not already constrained
core: add more comments and checker tests
core: use synthesis when checking the kinds of quantified types
make/config.mk : Remove ifeq required for ghc < 7.
make/config/options.mk : Whitespace.
core: refactor type application checker to use separate judgment