448 Commits

Author	SHA1	Message	Date
aarne	db30578e9f	a script for cloning (Phrasebook) grammars	2010-04-07 14:59:55 +00:00
aarne	f3ae4092d5	improved the performance of Romance while retaining correct agreement ; removed Diff modules from Phrasebook	2010-04-06 20:35:12 +00:00
aarne	40ec2f5229	comments in phrasebook abstract syntax	2010-04-06 15:45:16 +00:00
aarne	d1d1c6215d	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	f6db1ad200	fixed Finnish youPol complement number to Sg ; some encoding things in French	2010-04-06 12:24:41 +00:00
aarne	7c7f8112c9	generalized and extended Phrasebook in many ways	2010-04-05 16:36:38 +00:00
aarne	8b43ae7305	DisambPhrasebookRon added	2010-04-04 21:22:20 +00:00
aarne	74e385393c	reduced overgeneration by only allowing one AdA in Phrasebook	2010-04-04 20:44:37 +00:00
aarne	b959037cdb	Olga's etc corrections in Phrasebook	2010-03-31 14:58:32 +00:00
aarne	4867b91778	moved phrases like 'I am hungry' from Greetings to Words to make them more general	2010-03-30 21:48:24 +00:00
aarne	b4abd2ebba	removed Roles; updated Phrasebook doc	2010-03-30 20:10:36 +00:00
aarne	66cca22f38	simplified the treatment of politeness in Phrasebook	2010-03-30 18:48:59 +00:00
aarne	0e91a4d84d	disambiguation in Phrasebook grammars, PGF server, and the GUI	2010-03-30 15:39:11 +00:00
aarne	92d51c8ca3	information on missing words; fix in PhraseDut	2010-03-29 21:19:50 +00:00
aarne	f6f09b401e	AttemptoUrd added	2010-03-29 13:59:46 +00:00
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