12 Commits

Author	SHA1	Message	Date
Araq	c98696d742	lazy paths for Babel support	2012-12-11 20:06:15 +01:00
Araq	7171ae62cb	constraint now part of the parameter symbol and not of the type	2012-12-05 01:39:49 +01:00
Araq	92b449562e	tr macros now documented	2012-09-10 19:34:16 +02:00
Araq	d3d9d32c35	first steps to deprecate 'nil' statement	2012-09-09 01:08:00 +02:00
Araq	46e9ff6139	tmatrix.nim works now	2012-09-08 18:51:52 +02:00
Araq	b64eeeb430	term rewriting improvements	2012-09-08 15:43:21 +02:00
Araq	355ae07b8f	activated tests for tr macros	2012-09-06 00:23:55 +02:00
Araq	30c00aba07	bugfixes and improvements for term rewriting macros	2012-09-04 23:57:39 +02:00
Araq	6753d36854	further improvements for term rewriting macros	2012-09-04 00:55:13 +02:00
Araq	af7c92c003	term rewriting macros fully implemented; still buggy	2012-09-03 00:55:44 +02:00
Araq	1d14cb1ad8	next steps towards term rewriting macros; simple examples work	2012-08-30 22:55:32 +02:00
Araq	1786e30991	first steps towards term rewriting macros	2012-08-30 10:55:40 +02:00