Last active
April 4, 2018 01:02
-
-
Save techtangents/0347b101331fc1e4dee52da9fba38a1e to your computer and use it in GitHub Desktop.
oss ideas
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Laws checking for quickcheck. | |
toText :: Text1 -> Text | |
Heyting algebra | |
cabal2nix as a nix expression | |
Morgan's debugA | |
Extra combinator in `loops` package. | |
Configurator needs interpolation in integer fields. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment