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,217 Commits 10 Branches 8 Tags
7805f0f3392def0f2a55756b308a01d2d83ae160
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