on 261b7ff help sign in
all commits
546be39Fix little type in effect constraintsEvan Czaplicki ab555e7Get type checks on effect modules working properlyEvan Czaplicki 1966810Rename to CLocal and CForeign / track variable names a bit differentEvan Czaplicki 7c33c13Get Type.Constrain.Module workingEvan Czaplicki