GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-20 16:42:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

restored the summer school and Resource-HOWTO documents

Browse Source
This commit is contained in:
aarne
2008-09-16 08:01:47 +00:00
parent e112fd188f
commit c09783e604
14 changed files with 2589 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
examples/jem-math/LexMath.gf Normal file
View File

@@ -0,0 +1,16 @@
interface LexMath = open Syntax in {
oper
zero_PN : PN ;
successor_N2 : N2 ;
sum_N2 : N2 ;
product_N2 : N2 ;
even_A : A ;
odd_A : A ;
prime_A : A ;
equal_A2 : A2 ;
small_A : A ;
great_A : A ;
divisible_A2 : A2 ;
number_N : N ;
}