Haskell Day 2016 での自分の発表「SAT/SMT solving in Haskell」の資料を公開しています。 #hsd2016

slideshare: http://www.slideshare.net/sakai/satsmt-solving-in-haskell
pdf: http://msakai.jp/d/data/201609/HaskellDay2016_sakai.pdf

Haskell Day 2016
http://connpass.com/event/37892/

#noshare