jonas' blog

twitter github


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