- Oct 01, 2024
-
- Sep 30, 2024
-
- Jan 24, 2024
-
-
Ben Gamari authored
-
- Mar 23, 2023
-
-
Matthew Pickering authored
-
Matthew Pickering authored
-
Matthew Pickering authored
-
- Mar 13, 2023
-
-
sheaf authored
-
Matthew Pickering authored
CI wip See merge request !1
-
Matthew Pickering authored
Currently tests the build on ghc-9.2.5, ghc-9.4.4 and ghc-9.6.1.
-
- Dec 18, 2022
-
-
Matthew Pickering authored
-
Matthew Pickering authored
-
sheaf authored
-
- Oct 28, 2022