Pinned Repositories
aoc21
aoc23
aoc23
embedded-pattern-matching
A language to demonstrate embedded pattern matching
intero
Burstall-Structural-Deduction-in-Agda
joheker93's Repositories
joheker93/aoc21
joheker93/embedded-pattern-matching
A language to demonstrate embedded pattern matching
joheker93/aoc23
aoc23
joheker93/intero