robaertschi/tt
1
0
Fork 0
mirror of https://github.com/RoBaertschi/tt.git synced 2025-04-16 05:53:30 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
46 Commits 1 Branch 0 Tags
Commit Graph

4 Commits

Author SHA1 Message Date
Robin Bärtschi
508b3fdc7a added functions till typechecker WIP 2025-02-27 11:15:17 +01:00
Robin Bärtschi
1b2ebd2361 a lot of stuff 2025-02-23 19:09:03 +01:00
Robin Bärtschi
ee26d1371c begin variable resolution 2025-02-21 16:46:54 +01:00
Robin
bae6aa05fc begin with variables 2025-02-03 20:23:28 +01:00