【文件属性】：
文件名称：haskell-semantics:Haskell 在 K 中的形式语义
文件大小：33KB
文件格式：ZIP
更新时间：2021-07-06 21:34:53
Haskell
这是我第一次尝试使用定义编程语言。 和项目更成功。
【文件预览】：
haskell-semantics-master
----tools()
--------desugar(877B)
--------semantics-pipeline()
--------runtests(1KB)
----README.md(285B)
----tests()
--------factorial.hs(135B)
--------generic-take.hs(356B)
--------where2.hs(124B)
--------collatz.hs(202B)
--------patbind2.hs(183B)
--------quine1.hs(104B)
--------quine3.hs(83B)
--------where3.hs(170B)
--------pe2.hs(168B)
--------pe29.hs(168B)
--------num-literals.hs(406B)
--------yell.hs(153B)
--------tree.hs(1KB)
--------factor.hs(420B)
--------where1.hs(416B)
--------clunky.hs(671B)
--------Jon.hs(305B)
--------helloworld.hs(50B)
--------pe16.hs(170B)
--------quine2.hs(1KB)
--------operator.hs(60B)
--------README(656B)
--------mandelbrot.hs(746B)
--------pe1.hs(114B)
--------patbind1.hs(85B)
--------list-monad.hs(1KB)
----semantics()
--------haskell-desugaring-helpers.k(3KB)
--------haskell-syntax-test.k(113B)
--------haskell-syntax.k(42KB)
--------visitor.k(1KB)
--------haskell-desugaring.k(21KB)
--------haskell-desugaring-test.k(190B)
--------haskell-syntax-structs.k(723B)