Commit Graph
4 Commits
Author SHA1 Message Date
John A. LotoskiandGitHub 09526c8555 Spelling, typo and whitespace fixes (#833)
* Spelling and typo fixes in doc and code comments
* Trailing whitespace or whitespace only truncation
* readTheDocs formatting corrections
2020-08-31 11:08:25 +12:00
Hamish MackenzieandGitHub cacfba0b45 Replace ghc 8.8.3 with 8.8.4 (#766)
Also adds some tooling/docs for adding new ghc versions (see `docs/adding-new-ghc.md`)
2020-07-21 14:10:23 +12:00
Hamish MackenzieandGitHub dddef063af Fix #758 (#759) 2020-07-10 19:04:33 +12:00
Domen KožarandGitHub e56bbb39d1 Promote materialization and demote manual generation (#712) 2020-06-19 20:27:52 +12:00