Logo
Explore Help
Sign In
GitHub/gf-rgl
1
0
Fork 1
You've already forked gf-rgl
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-06-27 03:46:29 -06:00
Code Issues Packages Projects Releases Wiki Activity
5,570 Commits 9 Branches 8 Tags
4e8ecea403fc02911c6fa54345a14162587d0bde
Commit Graph

103 Commits

Author SHA1 Message Date
aarne 9b3c8b8365 testing Predication with Swe 2014-01-23 21:20:52 +00:00
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
First Previous 1 2 3 Next Last
Powered by Gitea Version: 1.26.4 Page: 122ms Template: 7ms
Auto
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API