Nix

start adding type-level simplification tests #11

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
nix build .#ghc98-rerefined	2m 48s
nix build .#ghc910-rerefined	2m 49s
	5m 37s