3332 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
krasimir	973a0cacb7	pattern @ should be propagated to PGF	2010-03-18 20:21:57 +00:00
krasimir	985bb550c0	fix the precedence for patterns ~, - and @	2010-03-18 19:52:45 +00:00
krasimir	f870c4d80f	syntax for inaccessible patterns in GF	2010-03-18 19:34:30 +00:00
krasimir	d91999dec0	incomplete code for adjoints and monads	2010-03-15 17:31:15 +00:00
krasimir	381a7a2f07	identity functor	2010-03-15 16:35:00 +00:00
krasimir	c6f3111e67	added natural transformations	2010-03-15 14:52:47 +00:00
krasimir	aef1a1a5a3	incomplete code for composition of functors	2010-03-15 10:47:00 +00:00
krasimir	9f45bb0df1	refactor Morphisms.gf and InitialAndTerminal.gf	2010-03-15 10:43:20 +00:00
krasimir	d7c68cdf27	two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms	2010-03-15 10:41:39 +00:00
krasimir	dfbc6ba9a3	added Equalizers in category-theory	2010-03-15 09:57:39 +00:00
krasimir	828fc44029	bugfix in PGF.TypeCheck	2010-03-14 12:21:00 +00:00
krasimir	db2d9a3238	cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope	2010-03-13 20:12:00 +00:00
aarne	efd1b5f252	fixes in FoodsUrd and DemoRon compilation	2010-03-05 07:22:57 +00:00
hallgren	8e344646f0	Quick fix to adapt to new version of the PGF library.	2010-03-04 18:46:18 +00:00
aarne	8422db66ca	FoodsUrd added (by Shafqat)	2010-03-04 16:56:36 +00:00
aarne	590cc6bb0b	Macros and note in GFCC document.	2010-03-02 21:22:53 +00:00
aarne	bbf564730b	gfcc README	2010-03-02 19:30:16 +00:00
aarne	dbe5a210b7	cleaned up gfcc ; added gfcc script	2010-03-02 19:27:34 +00:00
aarne	e4748e9984	restored gfcc example (GF C compiler)	2010-03-02 19:10:56 +00:00
krasimir	21b10f91cb	rule for pretty printing implicit arguments	2010-02-22 20:09:28 +00:00
krasimir	d2988814a8	add pretty printing rule for implicit patterns	2010-02-22 20:02:53 +00:00
krasimir	09da1013f9	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	21ad608e2a	functors	2010-02-22 14:40:28 +00:00
krasimir	bcf4bc7d23	the oposites of two equal arrows are equal arrows	2010-02-22 14:38:13 +00:00
krasimir	59d640088e	bugfix in PGF.TypeCheck	2010-02-20 18:48:06 +00:00
krasimir	45d209baf8	two theorems every iso is mono and every iso is epi	2010-02-20 16:37:23 +00:00
krasimir	3d8b7f9850	some more definitions in category theory	2010-02-20 16:33:40 +00:00
krasimir	d09b05ab3f	one more test for cyclic def rules	2010-02-16 20:27:07 +00:00
aarne	376f985409	removed strange typo from summerschool FoodsGer	2010-02-17 16:08:27 +00:00
krasimir	57c2a4dcd2	fix the Haskell code generation	2010-02-17 13:09:23 +00:00
krasimir	bfdef2f60c	replace SS with StmtS in SUMO	2010-02-17 12:38:11 +00:00
krasimir	d6627b5a5a	added TPTP for SUMO	2010-02-17 12:21:41 +00:00
krasimir	6690fbaf6c	SUMO axioms	2010-02-17 11:12:43 +00:00
krasimir	f7f0112256	added examples/SUMO	2010-02-17 11:07:24 +00:00
krasimir	a4d41ef3e3	fix in PGF.Printer	2010-02-17 10:31:10 +00:00
krasimir	b5d9ae552d	-output-format=pgf_pretty now prints the flags as well	2010-02-17 10:20:49 +00:00
krasimir	32f9499f2e	fix the PGF printer for abstract	2010-02-16 21:47:58 +00:00
krasimir	19b17dceb6	no need to keep the list of constructors per category in .gfo	2010-02-16 09:34:02 +00:00
krasimir	61287f3925	more category theory -> morphisms, initial and terminal objects	2010-02-15 10:35:24 +00:00
krasimir	af48998ef6	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	b2ce65bbe6	white space instead of tab in GF.cabal	2010-02-12 21:31:30 +00:00
krasimir	9c23a98fc0	add PGF.Probabilistic in GF.cabal	2010-02-12 16:12:17 +00:00
krasimir	ea85cd1078	one more test for cyclic operations	2010-02-09 18:38:11 +00:00
krasimir	64da1c2021	allow negative integers in the grammar syntax	2010-02-08 12:59:22 +00:00
krasimir	a1c70841c1	test case for lazy evaluation in the abstract syntax	2010-02-07 22:22:30 +00:00
aarne	f0f9c0acfa	generalized tour to a variable language by the script MkTour	2010-02-08 10:52:08 +00:00
krasimir	9564d85fa5	command cc now works even without loaded grammar. useful for testing closed expressions	2010-02-07 19:23:26 +00:00
krasimir	c1d2ed1a7b	test case for invalid parameter definition	2010-02-06 20:15:46 +00:00
krasimir	2544ea8c8a	in verbose mode print the rule names when compiling PMCFG	2010-02-06 18:24:15 +00:00
krasimir	168d459c49	bugfix in GrammarToPGF related to the compilation of def rules	2010-02-05 22:16:44 +00:00