 Frederik Hanghøj Iversen
|
5a748c57f0
|
Update RAEDME
|
2018-05-31 02:12:45 +02:00 |
|
|
Frederik Hanghøj Iversen
|
c784723184
|
Insert link to pre-compiled pdf
|
2018-05-31 02:09:46 +02:00 |
|
|
Frederik Hanghøj Iversen
|
93871358a3
|
Update README
|
2018-05-31 02:05:56 +02:00 |
|
|
Frederik Hanghøj Iversen
|
66e5f46912
|
Untabify readme
|
2018-05-31 02:00:29 +02:00 |
|
|
Frederik Hanghøj Iversen
|
9497a650ea
|
Test with master Agda version 2.6.0-d3efe64
|
2018-05-31 01:56:44 +02:00 |
|
|
Frederik Hanghøj Iversen
|
2e11a2390f
|
Shorten link
|
2018-05-08 23:05:45 +02:00 |
|
|
Frederik Hanghøj Iversen
|
ae9a0b3de7
|
Encourage people to read my report
|
2018-05-08 22:46:17 +02:00 |
|
|
Frederik Hanghøj Iversen
|
655c12720a
|
Remove obsolete comment
|
2018-05-08 18:49:17 +02:00 |
|
|
Frederik Hanghøj Iversen
|
a5571de191
|
Document version numbers
|
2018-05-08 18:45:36 +02:00 |
|
|
Frederik Hanghøj Iversen
|
50f51db4fc
|
Update readme
|
2018-03-07 15:40:52 +01:00 |
|
Frederik Hanghøj Iversen
|
1b6798f229
|
Update README.md
|
2018-02-21 18:23:55 +01:00 |
|
|
Frederik Hanghøj Iversen
|
7398210a2b
|
Update readme
|
2018-02-21 13:52:51 +01:00 |
|
|
Frederik Hanghøj Iversen
|
38ec53d5c2
|
Cosmetics
|
2018-02-20 14:08:47 +01:00 |
|
|
Frederik Hanghøj Iversen
|
bd824143bc
|
Update reference to Agda-version
|
2018-01-25 12:54:00 +01:00 |
|
|
Frederik Hanghøj Iversen
|
da0f4a365b
|
Add README
|
2017-11-10 17:10:30 +01:00 |
|