Refinement Types, SMT Integration, Program Logic, Type Safety
Composing pure Haskell assertions
blog.ploeh.dk·2h
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·1d
Apply the Trie: Word Search
mmhaskell.com·1h
Halo2's Elegant Transcript As Proof
cryptologie.net·1d
os-testing POSIX headers everywhere
sortix.org·11h
Working at ABI boundaries
rkrishnan.org·1d
Issue 491
haskellweekly.news·3d
Loading...Loading more...