可操作的:通过指定指令及其所需的操作语义来实现monad

时间:2024-02-24 20:57:07
【文件属性】:

文件名称:可操作的:通过指定指令及其所需的操作语义来实现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)

网友评论