Created
January 11, 2022 21:21
-
-
Save matejsarlija/612020ebdf6e9faf0d12605cec815e54 to your computer and use it in GitHub Desktop.
Following Category theory on YT
This file contains 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
absurd :: Void -> a |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment