GitHub/gf-rgl
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-10-28 10:13:17 -06:00
Code Issues Packages Projects Releases Wiki Activity
2,873 Commits 10 Branches 8 Tags
ec56be22fe22687a732ca7733043786174364dcd
Commit Graph
102 Commits
Author SHA1 Message Date
aarne 2bfcabc25d 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 0b9ca96ef6 experimental Predication with dependent types - promising, but far from finished 2014-01-23 16:12:28 +00:00