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