GitHub/gf-core
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-11-01 18:23:18 -07:00
Code Issues Packages Projects Releases Wiki Activity
8,975 Commits 21 Branches 11 Tags
8290f79f5235a7c2e15a61ec1f7149f8ca75862b
Commit Graph
4 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Eve 8290f79f52 Rudimentary resource REPL in gf-compiler 2025-01-26 09:13:24 +01:00
Eve 3b58ccbeef Don't evaluate builtins with free variables as arguments 2025-01-26 01:14:25 +01:00
Eve d9ed763ace Fix tcApp on pi types, split check/infer into variants inside and outside EvalM 2025-01-26 01:13:58 +01:00
Eve 1747b46274 Add alex/happy as build tool dependencies, bump up unix version in gf-compiler 2025-01-26 01:12:29 +01:00