Pinned Repositories
seizans's Repositories
seizans/yesod-tutorial
Webアプリケーションフレームワーク Yesod 1.1 で開発するためのチュートリアル.
seizans/happiage
project to develop web application for wedding after-party by Haskell
seizans/Ariel
seizans/coqtest
Exercises in Coq.
seizans/pfds
Purely Functional Data Structures
seizans/ppl
For ppl.