GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-23 01:52:50 -06:00
Code Issues Packages Projects Releases Wiki Activity
1,119 Commits 21 Branches 11 Tags
84e01c303dc161c3a811a045cc0c45f3f13e33d6
Commit Graph

3 Commits

Author SHA1 Message Date
bringert
f568dbcf64 Transfer type checking algorithm: started on conversion. 2006-03-03 15:56:15 +00:00
bringert
54542c8423 Transfer type checking: Added some notation explanation. Added constructor context. Added proper pattern checking operation. 2006-03-03 10:56:34 +00:00
bringert
0453d5c45e Transfer: added beginnings of a type checking algorithm description. 2006-03-03 10:37:59 +00:00