👀
Philosophy student, Linux enthusiast, HEMA practitioner. Also a 25yo boomer.
- Curitiba, PR - Brazil
Pinned Loading
-
functional_python_algorithms
functional_python_algorithms PublicAlgorithms implemented in python, in a functional style and using functional programming libraries.
Python
-
TheoremsInHaskell
TheoremsInHaskell PublicI'm trying to use haskell as a proof checker. Simple.
Haskell
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.