Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
- nix
- haskell
- hacktoberfest
- nom
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott