-
Jeff Lewis authored
First bits o' functional dependencies - just the syntax and related datatypes, plus started moving some of the static checks from the renamer (where we don't know about fundeps) to later in the typechecker.
e1e1d020
First bits o' functional dependencies - just the syntax and related datatypes, plus started moving some of the static checks from the renamer (where we don't know about fundeps) to later in the typechecker.