GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-09-29 13:43:38 -06:00
Code Issues Packages Projects Releases Wiki Activity
9,210 Commits 21 Branches 11 Tags
891b9b7561182ea8a5341ff2a2dcd4002337c9c3
Commit Graph
102 Commits
Author SHA1 Message Date
aarne 2c71e31a64 generalized some types in Predication so that the same fun's now cover slash propagation ("who does she force us to love") as well 2014-01-23 17:50:30 +00:00
aarne 8c1128c16c experimental Predication with dependent types - promising, but far from finished 2014-01-23 16:12:28 +00:00