5587 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
krasimir	57b8e42601	added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.	2010-03-20 07:26:53 +00:00
krasimir	a74a81b8a1	pattern @ should be propagated to PGF	2010-03-18 20:21:57 +00:00
krasimir	b2c785edfa	fix the precedence for patterns ~, - and @	2010-03-18 19:52:45 +00:00
krasimir	0c2944fa7f	syntax for inaccessible patterns in GF	2010-03-18 19:34:30 +00:00
krasimir	dc0a84951f	incomplete code for adjoints and monads	2010-03-15 17:31:15 +00:00
krasimir	8ac49f854f	identity functor	2010-03-15 16:35:00 +00:00
krasimir	1d97276a14	added natural transformations	2010-03-15 14:52:47 +00:00
krasimir	347347d411	incomplete code for composition of functors	2010-03-15 10:47:00 +00:00
krasimir	77be515422	refactor Morphisms.gf and InitialAndTerminal.gf	2010-03-15 10:43:20 +00:00
krasimir	52d5967008	two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms	2010-03-15 10:41:39 +00:00
krasimir	8985a9ea04	added Equalizers in category-theory	2010-03-15 09:57:39 +00:00
krasimir	34f5b2a436	bugfix in PGF.TypeCheck	2010-03-14 12:21:00 +00:00
krasimir	6a89647a6d	cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope	2010-03-13 20:12:00 +00:00
aarne	662aff27fe	tour extended up to sentences and questions	2010-03-06 22:05:48 +00:00
aarne	1dfbc7a741	fixes in FoodsUrd and DemoRon compilation	2010-03-05 07:22:57 +00:00
hallgren	e239e3331a	Quick fix to adapt to new version of the PGF library.	2010-03-04 18:46:18 +00:00
aarne	a2bd002917	FoodsUrd added (by Shafqat)	2010-03-04 16:56:36 +00:00
aarne	01ba78238f	more tours	2010-03-04 16:55:51 +00:00
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