|
2212638bf2
|
git repo has a new home also blog is at a new place
|
2021-11-19 19:04:52 +01:00 |
|
|
2dd54a4221
|
use local links where possible
|
2021-09-08 19:43:52 +02:00 |
|
|
b8d3ea3687
|
move updates to the end
|
2017-01-24 12:38:17 +00:00 |
|
|
b68552ec7c
|
.
|
2016-04-25 00:01:50 +02:00 |
|
|
d25317b5e4
|
link to rresult
|
2016-04-22 12:10:11 +02:00 |
|
|
6ad975083e
|
make it typecheck
|
2016-04-18 00:17:20 +01:00 |
|
|
c1efa3c5e1
|
.
|
2016-04-18 00:11:12 +01:00 |
|
|
bb87160923
|
.
|
2016-04-17 20:54:41 +01:00 |
|
|
688e084af4
|
.
|
2016-04-17 19:47:07 +01:00 |
|
|
ce67613e52
|
.
|
2016-04-17 19:46:31 +01:00 |
|
|
1dabed1a13
|
.
|
2016-04-17 19:34:58 +01:00 |
|
|
105e5d292a
|
.
|
2016-04-17 19:25:42 +01:00 |
|