929 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
bringert	cb18297ace	SLF generation: make sure that there is only one final node, and that it is actually final.	2005-12-08 16:01:13 +00:00
bringert	913a15a083	Set encoding in txt2tags documents to utf-8.	2005-12-08 10:04:34 +00:00
bringert	a282336de6	Transfer: fixed bug in prelude partition. Fixed naming of tuple field names, made it 1-based as in docs, instead of 0-based as before.	2005-12-08 09:45:17 +00:00
bringert	df5ce0a256	Transfer: Added compile_all.sh.	2005-12-08 09:39:36 +00:00
aarne	feb2265d8f	document on main index	2005-12-08 09:01:58 +00:00
aarne	4520420e00	documentation document	2005-12-08 08:59:24 +00:00
aarne	b25eb5c7c3	removing obsolete doc/book	2005-12-08 08:20:09 +00:00
aarne	d9d20326ce	removed obsolete index file	2005-12-08 08:18:04 +00:00
aarne	a5f90fa0fc	more Scandinavian	2005-12-07 18:59:35 +00:00
bringert	63f19f992d	Transfer reference: first proof reading fixes.	2005-12-07 12:24:30 +00:00
bringert	84d60f7602	Transfer reference: operators, overloading	2005-12-07 11:53:29 +00:00
bringert	56a00d37dd	Transfer: derive Eq Bool	2005-12-07 10:11:41 +00:00
bringert	09e62111fd	Transfer reference: added list patterns, do notation.	2005-12-07 10:03:18 +00:00
bringert	06c3d3e004	Transfer reference: added metavariable section and implementation status section.	2005-12-07 09:46:21 +00:00
bringert	67395b24d9	Transfer tutorial: conjunction, not conjugation.	2005-12-06 22:51:00 +00:00
bringert	c703a92136	Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension.	2005-12-06 16:33:40 +00:00
bringert	ee4adf5ba8	Simple transfer tutorial touch-up.	2005-12-06 16:26:55 +00:00
bringert	41aaed58d4	Moved transfer documentation to doc/. Added sections and text to transfer tutorial and reference. Added script for generating html from txt2tags files.	2005-12-06 16:23:29 +00:00
bringert	1094204640	Transfer: Fixed BNFC's layout resolver to not insert semicolon at end of line if there is one already.	2005-12-06 16:19:29 +00:00
bringert	cec34b7924	Transfer: fixed syntax error in prelude definition of partition.	2005-12-06 15:59:43 +00:00
bringert	5be879dd54	Transfer: Changed BNFC's layout syntax resolver to add a semicolon at EOF if using top-level layout sytax. Changed transfer syntax to use this to force semicolon after imports when pretty printing transfer. transfer grammar printer now produces Transfer syntax, not core. It also imports prelude and includes Eq and Compos instances.	2005-12-06 15:57:43 +00:00
bringert	54b8d70443	Transfer: moved pair stuff to prelude. Added partition function.	2005-12-06 12:39:11 +00:00
aarne	a6dc944356	opers in cnc	2005-12-06 12:39:36 +00:00
bringert	54671579f5	After suggestion from Jordi: note that darcs pull should be done inside the local repository.	2005-12-06 12:23:54 +00:00
aarne	66caf2aa65	bug fix in Shell commands at, wt	2005-12-06 11:46:35 +00:00
aarne	9db6f69d0a	multimodal resource recreated for new API	2005-12-05 18:31:15 +00:00
bringert	6c9b2bf6df	Added beginnings of a transfer language reference.	2005-12-05 18:01:59 +00:00
bringert	71349c1c5b	Removed variable for the type argument of List.	2005-12-05 17:35:32 +00:00
bringert	f4a28c94aa	Renamed transfer compiler and interpreter.	2005-12-05 16:53:27 +00:00
bringert	56e9e45171	Changed test.tr to run a fibNat test.	2005-12-05 16:52:56 +00:00
bringert	7c24fcb38f	Added aggregation example.	2005-12-05 16:45:11 +00:00
bringert	747271941a	Added tuple expressions and patterns.	2005-12-05 16:44:56 +00:00
aarne	066d5bb0a9	tidy up res; bug fix in ShellState.addTransfer	2005-12-05 16:14:12 +00:00
bringert	ddc8d5d0cc	Transfer: fixed Eq derivation to at least work for GF-generated Tree types.	2005-12-05 14:14:19 +00:00
bringert	983aef132b	Transfer added guards and Eq derivation.	2005-12-02 18:33:08 +00:00
aarne	dea5158cbf	floats in GF and GFC (parsing user input still doesn't work)	2005-12-02 13:13:14 +00:00
bringert	50ddb387f4	Added some differences between Cayenne and Transfer to transfer README	2005-12-02 13:05:02 +00:00
bringert	6cba6eb004	Make words in SLF language models upper case.	2005-12-02 12:55:24 +00:00
bringert	6b536cf07a	Transfer: removed list syntax from TODO.	2005-12-01 17:28:50 +00:00
bringert	396cc63cfc	Added list patterns. Added som simple prelude functions.	2005-12-01 17:27:06 +00:00
aarne	8de44f741e	EInteger	2005-12-02 08:46:30 +00:00
aarne	b1f6099025	rearranging resource-1.0	2005-12-01 21:18:42 +00:00
aarne	d3e74d9aa9	document update	2005-12-01 20:38:22 +00:00
aarne	9fcef260a1	updating documentation	2005-12-01 20:31:25 +00:00
aarne	13855da238	history link	2005-12-01 18:01:22 +00:00
aarne	da22eac180	making apply_transfer work	2005-12-01 17:58:31 +00:00
bringert	56f62f31d8	Transfer: Added Double type.	2005-12-01 16:55:57 +00:00
bringert	d15acf44b6	Transfer: remove disjunctive patterns from TODO.	2005-12-01 16:19:43 +00:00
bringert	635845eed8	Transfer: added support for disjunctive patterns.	2005-12-01 15:37:47 +00:00
bringert	30bb51372f	Added binary numeral grammars.	2005-12-01 13:11:01 +00:00