446 Commits

Author	SHA1	Message	Date
aarne	a66d2186fe	comments in phrasebook abstract syntax	2010-04-06 15:45:16 +00:00
aarne	114cdd78d3	change in Romance agreement to produce correct number for polite singular pronouns ; linking functions that involve mkClause now takes a long time and should be revised	2010-04-06 14:08:01 +00:00
aarne	dc35b0a82b	fixed Finnish youPol complement number to Sg ; some encoding things in French	2010-04-06 12:24:41 +00:00
aarne	2ced613d81	generalized and extended Phrasebook in many ways	2010-04-05 16:36:38 +00:00
aarne	c87fe6f0f6	DisambPhrasebookRon added	2010-04-04 21:22:20 +00:00
aarne	09171eecb4	reduced overgeneration by only allowing one AdA in Phrasebook	2010-04-04 20:44:37 +00:00
aarne	fb0f77b6f1	Olga's etc corrections in Phrasebook	2010-03-31 14:58:32 +00:00
aarne	5e2d2e61c3	moved phrases like 'I am hungry' from Greetings to Words to make them more general	2010-03-30 21:48:24 +00:00
aarne	61c82fa40e	removed Roles; updated Phrasebook doc	2010-03-30 20:10:36 +00:00
aarne	5cb147fa19	simplified the treatment of politeness in Phrasebook	2010-03-30 18:48:59 +00:00
aarne	de909a4e44	disambiguation in Phrasebook grammars, PGF server, and the GUI	2010-03-30 15:39:11 +00:00
aarne	4bae49c634	information on missing words; fix in PhraseDut	2010-03-29 21:19:50 +00:00
aarne	bec718d49d	AttemptoUrd added	2010-03-29 13:59:46 +00:00
aarne	04784b7c31	fine tuning phrasebook	2010-03-28 21:13:29 +00:00
aarne	ccac96eaa0	catching initial bind symbol in PGFServer	2010-03-28 20:32:03 +00:00
aarne	55f8a80df7	version 0.2 of phrasebook	2010-03-28 20:13:46 +00:00
aarne	93daaabf3d	Action category, more doc in Phrasebook	2010-03-28 19:29:06 +00:00
aarne	3903b6b852	short-phrase translation; added Swe; started doc in Phrasebook	2010-03-28 15:28:02 +00:00
aarne	691620346c	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	887a552497	even simpler version of NQueens	2010-03-24 21:04:37 +00:00
krasimir	fdd68f9040	the Plus predicate from NQueens is replaced with definition for function plus	2010-03-24 16:14:36 +00:00
aarne	3ff870dcd6	politeness and disambiguation in Phrasebook (not visible yet)	2010-03-24 08:18:54 +00:00
aarne	9d98177e65	French phrasebook	2010-03-21 19:57:53 +00:00
aarne	df0c6fb8d3	English version of Phrasebook	2010-03-21 17:42:11 +00:00
krasimir	f4574a4cfa	the NQueens algorithm written in GF	2010-03-21 19:01:57 +00:00
aarne	68840a3d6a	Diff interface for Phrasebook	2010-03-21 03:37:02 +00:00
aarne	5584415807	started Phrasebook with Finnish and Romanian	2010-03-20 21:21:50 +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
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	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	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	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	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
aarne	49e620b535	gr for several metas fixed ; commented out one alternative in SammieGer to make it compile	2010-02-02 07:12:52 +00:00
aarne	7f4559335a	fixed Sammie examples to compile (except Spa)	2010-02-01 15:57:29 +00:00