The Conscientious Programmer

Humbly exploring what it means to do the right thing.

  • About
  • Non-programming blog

Copyright © 2018 Franklin Chen
Powered by Hugo and Hyde-X

  • 24 days of Hackage, 2015: day 23: Liquid Haskell: refinement types for the real world · HaskellHackageLiquid Haskellcontractsrefinement typesSMT · Dec 23, 2015