software engineer, mostly interested in functional programming
Pinned Loading
-
-
positive-imp
positive-imp PublicA command-line calculator for a fragment of intuitionistic logic
Haskell
-
data-structures
data-structures PublicNotes and exercises on (purely functional) data structures
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.