10 commits

Author	SHA1	Message	Date
Hannes Mehnert	b8d3ea3687	move updates to the end	2017-01-24 12:38:17 +00:00
Hannes Mehnert	b68552ec7c	.	2016-04-25 00:01:50 +02:00
Hannes Mehnert	d25317b5e4	link to rresult	2016-04-22 12:10:11 +02:00
Hannes Mehnert	6ad975083e	make it typecheck	2016-04-18 00:17:20 +01:00
Hannes Mehnert	c1efa3c5e1	.	2016-04-18 00:11:12 +01:00
Hannes Mehnert	bb87160923	.	2016-04-17 20:54:41 +01:00
Hannes Mehnert	688e084af4	.	2016-04-17 19:47:07 +01:00
Hannes Mehnert	ce67613e52	.	2016-04-17 19:46:31 +01:00
Hannes Mehnert	1dabed1a13	.	2016-04-17 19:34:58 +01:00
Hannes Mehnert	105e5d292a	.	2016-04-17 19:25:42 +01:00