Commit graph

2 commits

Author Message Date
Liang-Ting Chen
43bdaa94f4
Use https instead of git for fetching the standard library (#572)
* Use https instead of git for fetching the standard library

* Clone the standard library shallowly
2021-08-22 19:52:55 +01:00
Wen Kokke
2c82ce21da
Switch to Hakyll as the build system for PLFA (#540) 2020-10-23 08:45:49 +02:00