文件名称:可操作的:通过指定指令及其所需的操作语义来实现monad
文件大小:25KB
文件格式:ZIP
更新时间:2024-02-24 20:57:07
haskell monad free-monad HaskellHaskell
可操作的:通过指定指令及其所需的操作语义来实现monad
【文件预览】:
operational-master
----Setup.hs(46B)
----operational.cabal(2KB)
----Readme.md(1KB)
----src()
--------Control()
----doc()
--------Readme.md(608B)
--------proofs.md(8KB)
--------design.md(3KB)
--------examples()
--------tutorial-changes.md(5KB)
----.travis.yml(250B)
----LICENSE(1KB)
----.gitignore(17B)
----CHANGELOG.md(1KB)