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