Commit graph

5 commits

Author SHA1 Message Date
d4050a6686
Update settings.json 2025-02-14 15:57:29 +01:00
05792ee99d
Let VSCode update some weird mappings 2024-07-10 17:41:35 +02:00
c907885420
Make C++ implementation the main implementation 2024-04-08 20:08:15 +02:00
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
49a83f9a77
vscode: Add launch.json for running on test file 2023-04-12 14:29:56 +02:00