GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-07-06 13:52:44 -06:00
Code Issues Packages Projects Releases Wiki Activity
2,720 Commits 21 Branches 11 Tags
08b9422cba848b4a13a83e1a5fb1154a5562bde9
Commit Graph

4 Commits

Author SHA1 Message Date
aarne 99e6e48fe1 mock up math extended with Agda 2007-10-31 17:13:20 +00:00
aarne a688096265 oper and lindef in CanonToJS 2007-10-31 16:41:39 +00:00
aarne 650b73e26b mock up variables for js 2007-10-30 13:17:54 +00:00
aarne 105efd51ef swedish mock up for math 2007-10-30 13:15:18 +00:00