Experiment with normalizing defs during type checking#162
Draft
anka-213 wants to merge 24 commits intoGrammaticalFramework:masterfrom
Draft
Experiment with normalizing defs during type checking#162anka-213 wants to merge 24 commits intoGrammaticalFramework:masterfrom
anka-213 wants to merge 24 commits intoGrammaticalFramework:masterfrom
Commits
Commits on Sep 26, 2023
Commits on Sep 28, 2023
- committed
Commits on Sep 29, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 30, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed