1149 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
peb	ab8edebcee	todo	2006-03-10 05:49:30 +00:00
bringert	0419860b4e	Transfer: some TODOs. Lots of minor fixes in type checking algorithm.	2006-03-20 18:23:55 +00:00
bringert	8d1543684a	Some simple clarifications in the transfer type checking document.	2006-03-20 15:15:56 +00:00
bringert	eacb437f43	Expermintation woth a collections framework for transfer.	2006-03-20 14:46:47 +00:00
bringert	d760ce9738	Added some tricky transfer type checking examples.	2006-03-20 14:04:11 +00:00
bringert	2371a1fcca	Transfer TODO: added (A,B : Type) argument types.	2006-03-20 14:03:34 +00:00
bringert	19af3254dc	Replaced all used of Data.FiniteMap with Data.Map.	2006-03-20 12:49:31 +00:00
aarne	076c390b73	documenting nodupatom, announcing 2.5	2006-03-16 21:41:13 +00:00
aarne	5d772cbfa2	MatchTerm: testing conditions on terms, e.g. nodup	2006-03-16 21:26:22 +00:00
aarne	e658e345fd	exitFailure with gf -make	2006-03-16 20:33:35 +00:00
aarne	f156073a13	method for flattening grammars	2006-03-16 15:26:37 +00:00
bringert	31fdc0d29a	Updated config.sub and config.guess.	2006-03-16 09:11:12 +00:00
bringert	5da597da36	Transfer prelude: added missing type arguments to some type classes.	2006-03-15 16:48:35 +00:00
bringert	379a969f67	Fixed typo in transfer prelude: prim_eq_Str	2006-03-15 16:25:40 +00:00
bringert	626a23ac78	Use ghc-pkg field instead of latest, to work with ghc-pkg 6.4.	2006-03-14 09:31:27 +00:00
bringert	eee0f20ea8	Transfer reflexive example: added ideal version.	2006-03-13 10:56:45 +00:00
bringert	941a9f35ba	Added transfer example: constructing reflexives.	2006-03-13 10:53:44 +00:00
aarne	c5eea4b375	example index	2006-03-10 10:05:49 +00:00
priesnit	eca7de185a	Added SwadeshGer.	2006-03-09 17:01:12 +00:00
peb	00d3d0b27d	fixing prolog printing	2006-03-09 12:39:11 +00:00
peb	641fa54ddc	inferred constants in profiles	2006-03-09 11:32:52 +00:00
peb	960d4f1e78	added todo	2006-03-08 05:41:18 +00:00
aarne	dc53739149	todo	2006-03-07 20:12:23 +00:00
aarne	3c11bdfd1d	merging Lexicon with Swadesh	2006-03-07 18:26:47 +00:00
aarne	0112bfb284	changed regN to be always of type Str -> N	2006-03-07 10:59:39 +00:00
aarne	7d2a9992f3	more treebank options; updated history	2006-03-06 21:27:49 +00:00
bringert	a961739bbf	Transfer type system: some random changes	2006-03-06 16:55:22 +00:00
aarne	611f24d4df	working on ExTramI and german verbs phrase	2006-03-06 15:36:09 +00:00
aarne	65d841bc1b	make help and treebank options	2006-03-05 20:30:37 +00:00
aarne	2657c51e04	example based also with treebank, with real term parser	2006-03-04 22:14:33 +00:00
aarne	84e01c303d	proper place of -treebank option	2006-03-04 15:24:03 +00:00
aarne	3589e352cc	treebank creating script; duplicated consonants in LexiconEng	2006-03-04 14:58:11 +00:00
aarne	3ff765620c	distinguished uni and multi treebanks	2006-03-03 20:51:03 +00:00
priesnit	e6f115a300	continuation of environment variable patch	2006-03-02 22:47:45 +00:00
priesnit	434053ac2c	GFHOME must now be set in the environment ... minor change in German numbers	2006-03-02 20:53:44 +00:00
bringert	f568dbcf64	Transfer type checking algorithm: started on conversion.	2006-03-03 15:56:15 +00:00
bringert	54542c8423	Transfer type checking: Added some notation explanation. Added constructor context. Added proper pattern checking operation.	2006-03-03 10:56:34 +00:00
bringert	0dfd55a30d	SRGS generation: use XML module escape mechanism. Added beginnings of a not yet working SRGS minimization function.	2006-03-03 10:40:53 +00:00
bringert	11cba226ea	Towards a working VoiceXML generator.	2006-03-03 10:40:23 +00:00
bringert	cbcdc01380	XML module: added CData support. Escape stuff that needs to be escaped in XML.	2006-03-03 10:38:49 +00:00
bringert	0453d5c45e	Transfer: added beginnings of a type checking algorithm description.	2006-03-03 10:37:59 +00:00
bringert	145e0a4c82	Transfer: Removed PType from source and core languages.	2006-03-03 10:34:15 +00:00
aarne	6c5763615f	several treebanks in shell state	2006-03-02 20:27:42 +00:00
aarne	32508e37b3	treebanks in shell state: i -treebank and lt	2006-03-02 17:19:36 +00:00
aarne	35aac815db	tb -trees ; rl ; path in gfe ; removed spurious "file not found"	2006-03-02 09:55:50 +00:00
aarne	c30936dc16	refreshing gfe example	2006-03-01 17:36:34 +00:00
aarne	8cf236bfbb	ResourceHOWTO updafed	2006-03-01 16:17:19 +00:00
bringert	c01ff143f4	Remove superfluous space in transfer let description.	2006-03-01 12:52:23 +00:00
bringert	4cb90a0c69	Transfer reference: remove type annotations in let.	2006-03-01 12:51:10 +00:00
bringert	41db0b588e	SwadeshEng: give_V uses "to"	2006-02-28 19:47:42 +00:00