16 Commits

Author	SHA1	Message	Date
aarne	c5c6d13546	changed names of resource-1.3; added a note on homepage on release	2008-06-25 16:54:35 +00:00
aarne	7d721eb16e	removed src for 2.9	2008-06-25 16:43:48 +00:00
bringert	f757f2ea1e	Regenerated transfer bnfc stuff with latest bnfc, happy and alex, to be able to compile on GHC CVS.	2006-05-20 01:41:53 +00:00
bringert	61898554b5	Transfer: Removed PType from source and core languages.	2006-03-03 10:34:15 +00:00
bringert	6b137b54ba	Transfer: changed syntax to remove the mandatory type annotation in let.	2005-12-09 11:45:57 +00:00
bringert	ed23b9d8d8	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	ccb780361f	Added tuple expressions and patterns.	2005-12-05 16:44:56 +00:00
bringert	ece605f887	Transfer added guards and Eq derivation.	2005-12-02 18:33:08 +00:00
bringert	a7af7bc384	Added list patterns. Added som simple prelude functions.	2005-12-01 17:27:06 +00:00
bringert	df1e92e837	Transfer: Added Double type.	2005-12-01 16:55:57 +00:00
bringert	12d4bc020d	Transfer: added support for disjunctive patterns.	2005-12-01 15:37:47 +00:00
bringert	e762f85933	Added bind operators, do-notation, a cons operator and list sytnax.	2005-11-30 20:27:01 +00:00
bringert	bb5f9dc312	Use rec and sig for records.	2005-11-29 18:16:33 +00:00
bringert	8a1efe2ce5	Added meta variables to transfer front-end and core.	2005-11-29 15:48:13 +00:00
bringert	0ee1c632f9	Changed precedence of projection to be higher than application.	2005-11-28 21:45:58 +00:00
bringert	2a59fffd45	Move transfer into the GF repo.	2005-11-25 16:36:19 +00:00