文件名称：IdrisTddNotes：阅读“ TDD with Idris”一书，比较Idris和Haskell的文字说明
文件大小：774KB
文件格式：ZIP
更新时间：2024-02-24 20:58:31
haskell dependent-types idris literate-programming type-driven-development
IdrisTddNotes：阅读“ TDD with Idris”一书，比较Idris和Haskell的文字说明
【文件预览】：
IdrisTddNotes-master
----.dir-locals.el(222B)
----image()
--------easterw.png(147KB)
--------easter.png(135KB)
--------Part2()
----test()
--------Spec.hs(44B)
--------ConcurrencePrimitivesSpec.hs(1KB)
----IdrisTddNotes.ipkg(960B)
----stack.yaml(2KB)
----out.splice(0B)
----LICENSE(1KB)
----app()
--------Main.hs(78B)
----src()
--------Main.idr(1KB)
--------Play()
--------Part3()
--------Lib.hs(88B)
--------Sanity()
--------Part2()
--------Util()
--------Control()
--------Data()
--------Part1()
----Setup.hs(46B)
----IdrisTddNotes.cabal(3KB)
----.gitignore(270B)
----Makefile(167B)
----README.md(181B)
----ChangeLog.md(119B)