λ-calculus interpreter by haskell.
Syntax | Description |
---|---|
let name = expression |
set alias of expression |
dsp expression |
display evaluated expression |
expression |
evaluate the expression |
Here are two interactive mode: REPL and Onebot. Onebot is a chat application protocol. If you never heard that, ignore it and choose REPL mode.
src/Onebot.hs
中简单地为Onebot协议编写了基于websocket通信的包装。运行cqhttp后启动本程序并选择onebot交互模式即可创建一个lambda演算聊天机器人。