
fix error :: ⊥
Studies Computer Science and Philosophy;
Loves Haskell and theoretical CS
- Vienna
Pinned Loading
-
LiterateMarkdown
LiterateMarkdown PublicConverter to convert from .lhs to .md and vice versa
Haskell 2
-
IteratedPrisoner
IteratedPrisoner PublicImplementation of a simulator for the iterated prisoner dilemma in Haskell
TeX 2
-
A collection of bookmarks
A collection of bookmarks 1# Bookmarks
2A collection of bookmarks covering the topics of
3- functional programming with haskell
4- type theory
5- category theory
-
advent-of-code2020
advent-of-code2020 Public[advent of code](https://adventofcode.com/) 2020 solutions using only the haskell Prelude and GHC extensions
Haskell
1 contribution in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More