https://github.com/matsubara0507/curry-howard-linebot

LINE Bot that replay Curry-Howard Isomorphism with paper
https://github.com/matsubara0507/curry-howard-linebot

haskell line-bot

Last synced: 13 days ago
JSON representation

LINE Bot that replay Curry-Howard Isomorphism with paper

• Host: GitHub
• URL: https://github.com/matsubara0507/curry-howard-linebot
• Owner: matsubara0507
• License: mit
• Created: 2017-02-19T13:51:05.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-02-20T13:59:45.000Z (almost 8 years ago)
• Last Synced: 2024-12-08T08:42:23.262Z (2 months ago)
• Topics: haskell, line-bot
• Language: Haskell
• Size: 11.7 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# curry-howard-linebot

LINE Bot that replay Curry-Howard Correspondence with paper.

used the following library.

thank authors.

- [noraesae/line: Haskell SDK for the LINE APIs](https://github.com/noraesae/line)

- [yesodweb/wai: Haskell Web Application Interface](https://github.com/yesodweb/wai)

- [mfine/heroku-buildpack-stack: Haskell Stack support for Heroku](https://github.com/mfine/heroku-buildpack-stack)

## Get LINE Bot

### QR code

![](./img/qrcode.png)

### Button to add Bot as Friend

[![](https://scdn.line-apps.com/n/line_add_friends/btn/ja.png)](https://line.me/R/ti/p/%40lik3765s)

## Reference

Curry-Howard Correspondence is refered from [this slide](http://icfp16.sigplan.org/event/plmw-icfp-2016-some-types-of-types) by Philip Wadler.

## echo bot

made [it](https://github.com/matsubara0507/curry-howard-linebot/tree/echobot) for testing