Wen Kokke
|
db61ac1c18
|
Fixed stack file after accidentially messing with it.
|
2021-09-01 20:03:30 +01:00 |
|
Wen Kokke
|
d697a4f322
|
Edited makefile and workflow to use system GHC.
|
2021-09-01 20:02:55 +01:00 |
|
Wen Kokke
|
a92e1a08c4
|
Fixed assignment 4.
|
2021-08-23 00:48:01 +01:00 |
|
Wen Kokke
|
67b94951e0
|
Bumped Agda version to 2.6.1.3.
|
2021-06-16 23:30:18 +01:00 |
|
Wen Kokke
|
3291c18300
|
Bumped resolver and GHC version, added Hakyll, removed text-icu.
|
2021-06-16 16:26:02 +01:00 |
|
Wen Kokke
|
c732f6e89d
|
Bumped GHC version to 8.10.3.
|
2021-06-16 16:20:03 +01:00 |
|
Altariarite
|
c022088e3c
|
updated text-icu ver to be compatible with icu68+ (#565)
|
2021-06-16 16:13:27 +01:00 |
|
Wen Kokke
|
2c82ce21da
|
Switch to Hakyll as the build system for PLFA (#540)
|
2020-10-23 08:45:49 +02:00 |
|