jonas' blog
twitter
github
Posts
Monoidal Puzzle Solving
- 2020-05-26
Solve Sudokus and other puzzles by monoidally composing rules
tags: haskell backtracking solver sudoku miracle monoid n queens
The Descriptor
- 2020-05-10
Add metadata to record fields, work with higher-kinded data without resorting to Generics and Template Haskell, write safe and efficient FFI code
tags: descriptor hkd effective haskell