Hacker News new | ask | show | jobs
Encoding SAT in OCaml GADTs (farlow.dev)
4 points by farlow 324 days ago