on 1fcb01f help sign in
all commits
0070a84Switch the internal data constructor name for tuples. Before tuple constructors could be shadowed by user defined ADT's such as "Tuple0", "Tuple2", etc. Now it uses "_Tuple0" to make it impossible to overlap with user defined ASTs.Evan Czaplicki e4ca967Create a source syntax for types that will get converted into the internal type representation during type checking.Evan Czaplicki