core: wibble
core: unswitch spec application checker and cleanup
Merge pull request #1 from kvanberendonck/ddc-war-mk

Make the ddc-war build output and dependency tracking uniform
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
core: default the kind of unconstrained function parameters to Data
Merge branch 'master' of ssh://github.com/DDCSF/ddc