GitHub/gf-rgl
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-10-29 10:23:18 -06:00
Code Issues Packages Projects Releases Wiki Activity
3,731 Commits 10 Branches 8 Tags
0518fcbb16524b166a492eb8137cc981f45095f4
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