joheker93

Pinned Repositories

aoc21
Language:Haskell3 1 00
aoc23
aoc23
Language:Java00
embedded-pattern-matching
A language to demonstrate embedded pattern matching
Language:Haskell1 0 00
intero
Language:Haskell0 0 00
Burstall-Structural-Deduction-in-Agda
Language:Agda00

joheker93's Repositories

joheker93/aoc21
Language:Haskell3 1 00
joheker93/embedded-pattern-matching
A language to demonstrate embedded pattern matching
Language:Haskell1 0 00
joheker93/aoc23
aoc23
Language:Java00
joheker93/intero
Language:Haskell0 0 00