Refinement types for natural numbers with an optics interface
Primary LanguageHaskell
To build and test with all supported compiler versions:
nix build .#all