433 Commits

Author	SHA1	Message	Date
aarne	997ca76c1b	fine tuning phrasebook	2010-03-28 21:13:29 +00:00
aarne	1c088506b3	catching initial bind symbol in PGFServer	2010-03-28 20:32:03 +00:00
aarne	e01f2ab1b2	version 0.2 of phrasebook	2010-03-28 20:13:46 +00:00
aarne	13a7954646	Action category, more doc in Phrasebook	2010-03-28 19:29:06 +00:00
aarne	c99ecf2704	short-phrase translation; added Swe; started doc in Phrasebook	2010-03-28 15:28:02 +00:00
aarne	40763b5f61	change Food to Words in Phrasebook, since it's unpractical to have many small modules; added syntactic forms and words	2010-03-26 22:07:17 +00:00
krasimir	69535e2b6b	even simpler version of NQueens	2010-03-24 21:04:37 +00:00
krasimir	925fb9dc85	the Plus predicate from NQueens is replaced with definition for function plus	2010-03-24 16:14:36 +00:00
aarne	eab9110f05	politeness and disambiguation in Phrasebook (not visible yet)	2010-03-24 08:18:54 +00:00
aarne	8f148ee054	French phrasebook	2010-03-21 19:57:53 +00:00
aarne	d282a9e1a0	English version of Phrasebook	2010-03-21 17:42:11 +00:00
krasimir	f4d3da0ccc	the NQueens algorithm written in GF	2010-03-21 19:01:57 +00:00
aarne	5c9062f5ea	Diff interface for Phrasebook	2010-03-21 03:37:02 +00:00
aarne	49a016fd01	started Phrasebook with Finnish and Romanian	2010-03-20 21:21:50 +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
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	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	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	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	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
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	53a081bf0b	example_based returns the list of all unknown words	2010-01-28 16:27:28 +00:00
aarne	8f0df0442a	in example-based grammar conversion, warnings about unknown words	2010-01-28 10:06:16 +00:00
aarne	47c7b09884	command eb for example-based grammar conversion; see 'help eb' and the example in examples/animals/QuestionsI.gfe	2010-01-27 17:51:15 +00:00
aarne	4db9cd2b70	Swedish "each of" in Attempto with correct agreement	2010-01-05 22:13:28 +00:00
aarne	0df33590f3	that_Subj in Italian	2010-01-05 14:19:27 +00:00
aarne	1bbc4ec91d	agreement in German Predet	2010-01-05 13:35:24 +00:00
aarne	234a3d3633	fixes in Attempto	2010-01-04 21:19:13 +00:00
aarne	d403fd0f7f	number agreement in Romance predeterminers	2010-01-04 14:59:40 +00:00
aarne	c0ffa614ae	mathtext examples from Bonn	2009-12-18 11:08:39 +00:00
aarne	f26676f556	Polish Bronzeage, compile with 13 languages	2009-12-08 13:04:05 +00:00
aarne	8ed9fe442d	Dutch lexicon generated via Google translate; method in lib/src/MkExx.hs	2009-11-16 15:21:56 +00:00
aarne	f37d5a0f65	labels read from config files for dependency trees, eg lib/src/dep.labels	2009-10-19 15:53:30 +00:00
aarne	5ab335517a	experiment examples, starting with Dep trees	2009-10-19 08:48:46 +00:00