aarne
|
fdc39cf18c
|
started command interpreter for gfcc
|
2007-11-03 22:37:18 +00:00 |
|
aarne
|
5956ba6b38
|
command language and gfcc term parser in bnfc
|
2007-11-03 22:00:08 +00:00 |
|
bringert
|
ed4b43961d
|
Added explicit export list to ParGF.
|
2007-11-01 10:10:30 +00:00 |
|
bringert
|
dafbcb7f9b
|
Regenerated ParGF.y with current BNFC, and regenerated ParGF.hs with Happy 1.17. This seems to fix some of the less informative parsing error messages.
|
2007-11-01 10:08:32 +00:00 |
|
aarne
|
59e4328128
|
mock up math extended with Agda
|
2007-10-31 17:13:20 +00:00 |
|
aarne
|
3f4d3e69cf
|
oper and lindef in CanonToJS
|
2007-10-31 16:41:39 +00:00 |
|
aarne
|
a2a37bc912
|
mock up variables for js
|
2007-10-30 13:17:54 +00:00 |
|
aarne
|
ab1af18cdb
|
swedish mock up for math
|
2007-10-30 13:15:18 +00:00 |
|
aarne
|
565bd85329
|
math wiki example
|
2007-10-30 13:09:46 +00:00 |
|
bringert
|
af54ec7e45
|
Added type signature to fix GHC 6.8 problem reported by Jean-Philippe.
|
2007-10-30 09:51:14 +00:00 |
|
aarne
|
70258975f2
|
semantics <- sementics
|
2007-10-24 07:49:29 +00:00 |
|
aarne
|
fa2131a8be
|
program four second week of the course
|
2007-10-24 07:47:33 +00:00 |
|
aarne
|
60f714b9c8
|
insertObject in AdVP in tutorial/syntax
|
2007-10-23 21:03:06 +00:00 |
|
aarne
|
bf223b43d5
|
insertObject in Grammar
|
2007-10-23 14:11:22 +00:00 |
|
bringert
|
5b7f45c7e6
|
Added --output-name to GF.Devel.GFC.Options. Inspired by peb's --output-base suggestion.
|
2007-10-23 12:19:11 +00:00 |
|
bringert
|
1bf4df8763
|
Added --output-dir to GF.Devel.GFC.Options. Suggested by peb.
|
2007-10-23 12:15:01 +00:00 |
|
bringert
|
9dc7843f53
|
Allow multiple output formats in GF.Devel.GFC.Options. Suggested by peb.
|
2007-10-23 12:11:48 +00:00 |
|
aarne
|
a6f89fefef
|
polished the syntax grammar for the book
|
2007-10-22 15:56:11 +00:00 |
|
aarne
|
3b878f85d8
|
Swedish functor implementation of Base
|
2007-10-21 10:45:51 +00:00 |
|
aarne
|
087fddc174
|
English Base implementation with functor
|
2007-10-21 10:06:34 +00:00 |
|
aarne
|
a9472f91e5
|
the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by commenting out)
|
2007-10-21 10:01:14 +00:00 |
|
bringert
|
bc2cac719b
|
Added Show isntance generation to haskell_gadt.
|
2007-10-20 18:57:38 +00:00 |
|
bringert
|
173d0ae876
|
Added Compos instance generation to the haskell_gadt printer. Added GF.Data.Compos module which is imported by the code generated by haskell_gadt.
|
2007-10-20 18:42:16 +00:00 |
|
aarne
|
484c4ef336
|
started resource implementation of query language
|
2007-10-20 11:34:52 +00:00 |
|
aarne
|
192f55e2f5
|
semantics extended to questions
|
2007-10-20 09:51:26 +00:00 |
|
aarne
|
e86db4d8c8
|
two versions of semantics (the Logic version incomplete)
|
2007-10-19 22:12:30 +00:00 |
|
aarne
|
295c40fe3a
|
started semantics module in tutorial
|
2007-10-19 16:29:29 +00:00 |
|
aarne
|
59052fd1b6
|
added coordination to tutorial grammar example.
|
2007-10-17 19:08:09 +00:00 |
|
bringert
|
5028c62c66
|
Fixed link to resource grammar synopsis.
|
2007-10-17 16:18:13 +00:00 |
|
aarne
|
cec3d7d603
|
found and temporarily solved the bug in LangGer gfcc generation
|
2007-10-16 17:38:57 +00:00 |
|
bernardy
|
869da61a5b
|
add interlingua numerals grammar
|
2007-10-15 09:54:41 +00:00 |
|
bernardy
|
bb0252e323
|
Fix the belgian numerals grammar
|
2007-10-15 09:42:34 +00:00 |
|
bernardy
|
ec06de5c9f
|
Simplify the swiss numerals grammar
|
2007-10-15 09:42:06 +00:00 |
|
bernardy
|
43e9eb3a1a
|
Slightly nicer output when reading old grammars
|
2007-10-15 08:05:33 +00:00 |
|
bernardy
|
0c132a75d4
|
Add belgian french version of the numeral grammars
|
2007-10-13 15:32:15 +00:00 |
|
bernardy
|
4cc8611b1f
|
typo
|
2007-10-13 15:22:59 +00:00 |
|
aarne
|
eb145f5fcf
|
adjusting parameter types in Romance and fixing some compilation bugs
|
2007-10-14 14:08:41 +00:00 |
|
aarne
|
111643eba8
|
fix in records as param arguments
|
2007-10-14 10:36:06 +00:00 |
|
kr.angelov
|
873a160537
|
FCat is just a plain integer now
|
2007-10-12 16:00:37 +00:00 |
|
aarne
|
96ed0bf4ac
|
demo restaurant info
|
2007-10-12 13:46:57 +00:00 |
|
aarne
|
530174aad1
|
some fixes in GrammarTpGFCC, and more tracing
|
2007-10-12 12:24:07 +00:00 |
|
aarne
|
1fb749a5ec
|
removing a trace
|
2007-10-12 08:42:52 +00:00 |
|
aarne
|
cf3fcbf582
|
check circularity in param
|
2007-10-12 08:37:57 +00:00 |
|
aarne
|
697cf5f440
|
tuning gf optimization
|
2007-10-10 20:29:10 +00:00 |
|
aarne
|
0fdb2dbc48
|
patches to Now and Dan verb forms ; opers and lindefs in JS
|
2007-10-10 17:35:50 +00:00 |
|
aarne
|
ebfef6c8cc
|
common subexp elim for src GF
|
2007-10-10 17:01:00 +00:00 |
|
aarne
|
f479ecac03
|
optimizations on evaluated gf in gfc
|
2007-10-10 16:13:57 +00:00 |
|
aarne
|
f93c17c7b1
|
GFCCtoJS in Devel
|
2007-10-09 12:51:09 +00:00 |
|
aarne
|
38a517aafa
|
UTF8 encoding of strings in terms in GFCC in gfc
|
2007-10-08 14:20:37 +00:00 |
|
aarne
|
5a881a90dd
|
gfc now generates gfcc with deptypes, defs, printnames
|
2007-10-08 12:45:39 +00:00 |
|