4419 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
aarne	3f8ce136fc	make DemoRon compile	2010-03-04 16:54:25 +00:00
aarne	43d23fc412	Macros and note in GFCC document.	2010-03-02 21:22:53 +00:00
aarne	948209889b	gfcc README	2010-03-02 19:30:16 +00:00
aarne	8dd2a5d23b	cleaned up gfcc ; added gfcc script	2010-03-02 19:27:34 +00:00
aarne	1be8903cce	restored gfcc example (GF C compiler)	2010-03-02 19:10:56 +00:00
krasimir	46c04f4c91	rule for pretty printing implicit arguments	2010-02-22 20:09:28 +00:00
krasimir	e876fad3fa	add pretty printing rule for implicit patterns	2010-02-22 20:02:53 +00:00
krasimir	5d2b204246	refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store	2010-02-22 15:50:41 +00:00
krasimir	415375f35c	functors	2010-02-22 14:40:28 +00:00
krasimir	34a8b768eb	the oposites of two equal arrows are equal arrows	2010-02-22 14:38:13 +00:00
krasimir	f3c6acc6dc	bugfix in PGF.TypeCheck	2010-02-20 18:48:06 +00:00
krasimir	25adc81550	two theorems every iso is mono and every iso is epi	2010-02-20 16:37:23 +00:00
krasimir	8ca24fcad6	some more definitions in category theory	2010-02-20 16:33:40 +00:00
krasimir	ff30de63ce	one more test for cyclic def rules	2010-02-16 20:27:07 +00:00
aarne	e6dbcc2dc0	make demo in lib/src works (without Ron)	2010-02-17 16:14:30 +00:00
aarne	0c1f931725	removed strange typo from summerschool FoodsGer	2010-02-17 16:08:27 +00:00
krasimir	3aa7aa84bb	fix the Haskell code generation	2010-02-17 13:09:23 +00:00
krasimir	897682d952	replace SS with StmtS in SUMO	2010-02-17 12:38:11 +00:00
krasimir	07fa5c575d	added TPTP for SUMO	2010-02-17 12:21:41 +00:00
krasimir	6b8fa0eaa1	SUMO axioms	2010-02-17 11:12:43 +00:00
krasimir	06654cbb5e	added examples/SUMO	2010-02-17 11:07:24 +00:00
krasimir	e54ac49769	fix in PGF.Printer	2010-02-17 10:31:10 +00:00
krasimir	d91ffecfa4	-output-format=pgf_pretty now prints the flags as well	2010-02-17 10:20:49 +00:00
krasimir	e1ac90f543	fix the PGF printer for abstract	2010-02-16 21:47:58 +00:00
krasimir	899ed163a1	no need to keep the list of constructors per category in .gfo	2010-02-16 09:34:02 +00:00
krasimir	62781ca519	more category theory -> morphisms, initial and terminal objects	2010-02-15 10:35:24 +00:00
krasimir	2702b64722	basic category theory expressed in GF. Note: works only with my development version of GF. It will be pushed in darcs soon	2010-02-14 10:20:08 +00:00
krasimir	731d46643d	white space instead of tab in GF.cabal	2010-02-12 21:31:30 +00:00
krasimir	991e51373a	add PGF.Probabilistic in GF.cabal	2010-02-12 16:12:17 +00:00
krasimir	96b1041763	one more test for cyclic operations	2010-02-09 18:38:11 +00:00
krasimir	8c4fd9de9b	allow negative integers in the grammar syntax	2010-02-08 12:59:22 +00:00
krasimir	1e7cb24e70	test case for lazy evaluation in the abstract syntax	2010-02-07 22:22:30 +00:00
aarne	f3f661b525	generalized tour to a variable language by the script MkTour	2010-02-08 10:52:08 +00:00
krasimir	1c2a240b2c	command cc now works even without loaded grammar. useful for testing closed expressions	2010-02-07 19:23:26 +00:00
krasimir	c019609e23	some changes in Urdu by Shafqat	2010-02-07 09:10:08 +00:00
krasimir	7588807c1b	test case for invalid parameter definition	2010-02-06 20:15:46 +00:00
krasimir	625c8e0e03	in verbose mode print the rule names when compiling PMCFG	2010-02-06 18:24:15 +00:00
krasimir	c2259adf5d	bugfix in GrammarToPGF related to the compilation of def rules	2010-02-05 22:16:44 +00:00
aarne	8171538b12	some more things in tour	2010-02-04 15:59:27 +00:00
aarne	745bee5d88	command eh ; lib/doc/tour started	2010-02-03 20:55:54 +00:00
krasimir	e33447aadd	fix the tabular printing when there is a V constructor	2010-02-03 17:33:55 +00:00
aarne	101ba3ec5e	gr for several metas fixed ; commented out one alternative in SammieGer to make it compile	2010-02-02 07:12:52 +00:00
aarne	88f4c1a5b2	fixed Sammie examples to compile (except Spa)	2010-02-01 15:57:29 +00:00
aarne	3dd8fb8dec	commands mq and tq can take a tree with metas to guide generation	2010-02-01 09:56:58 +00:00
krasimir	3d5864918b	test case for let expression in def rule	2010-02-01 09:18:42 +00:00
krasimir	884c55f7e6	added tests for literals in the abstract syntax	2010-02-01 08:58:46 +00:00
krasimir	b625b416ee	added test cases for polymorphic and record types in the abstract syntax	2010-01-31 22:16:35 +00:00
krasimir	5eeb41a67f	add test case for abstract types with let bindings	2010-01-31 20:45:48 +00:00
aarne	ab1d4deccf	command l -list ; fixed mq to work with the new tabularLinearizes	2010-01-31 16:05:23 +00:00
krasimir	4485e97181	refactor GF.Infra.Modules for better error messages	2010-01-31 15:54:25 +00:00