LINE Bot that replay Curry-Howard Correspondence with paper.
used the following library. thank authors.
- noraesae/line: Haskell SDK for the LINE APIs
- yesodweb/wai: Haskell Web Application Interface
- mfine/heroku-buildpack-stack: Haskell Stack support for Heroku
Curry-Howard Correspondence is refered from this slide by Philip Wadler.
made it for testing