on 2deedfb help sign in
all commits
6709d6fRevamp type constraint generationEvan Czaplicki 6e2f87eUpdate a couple Type/ modules for AST shuffleEvan Czaplicki 4a6c4a0Make Type.Instantiate and Type.Constrain.Pattern more self-containedEvan Czaplicki 9bdfe2bGenerate type constraints for patterns without any type lookups!Evan Czaplicki