GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-07-10 07:32:46 -06:00
Code Issues Packages Projects Releases Wiki Activity
1,640 Commits 21 Branches 11 Tags
c1aea3c2a9adac029f6221a2a345c8a2df8e2cf5
Commit Graph

2 Commits

Author SHA1 Message Date
aarne a7d36ea1f8 full disjunctive patterns ; more prec levels for Exp 2005-12-20 22:38:38 +00:00
aarne 35daecebcd CS's system S 2005-12-20 14:20:42 +00:00