[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hello, I am pleased to release the first version of InvarGenT, a system that performs full type inference for a type system with GADTs, and also generates new GADTs to serve as existential types. In addition to algebraic types, the first version handles linear arithmetic constraints. https://github.com/lukstafi/invargent/releases/tag/v1.0 Regards, Łukasz Stafiniak
