Sam Vervaeck 650cecb707 Add rigid type vars and some other enhancements ... - Add TRigidVar as a type - Make VarTypeExpression generate a TRigidVar - Rename `TVar` to `TUniVar` - Make kind checker use `kindOfType` instead of `new KType()`.		2023-06-26 18:54:20 +02:00
..
launch.json	Add rigid type vars and some other enhancements	2023-06-26 18:54:20 +02:00