bruijn
所属分类：其他
开发工具：Haskell
文件大小：0KB
下载次数：0
上传日期：2023-07-30 19:32:25
上 传 者：
sh-1993
说明： 基于纯bruijn索引lambda演算和使用抽象机的按需强调用约简的编程语言，
(Programming language based on pure bruijn-indexed lambda calculus and strong call-by-need reduction using abstract machines,)
文件列表:
Setup.hs (46, 2023-12-14)
app/ (0, 2023-12-14)
app/Main.hs (62, 2023-12-14)
broogle.sh (1291, 2023-12-14)
bruijn.cabal (2782, 2023-12-14)
config (268, 2023-12-14)
docs/ (0, 2023-12-14)
docs/code.css (350, 2023-12-14)
docs/code.js (1916, 2023-12-14)
docs/content.css (255, 2023-12-14)
docs/content.template (450, 2023-12-14)
docs/gen.sh (740, 2023-12-14)
docs/index.css (245, 2023-12-14)
docs/index.html (6593, 2023-12-14)
docs/index.template (471, 2023-12-14)
docs/mkdocs.yml (1340, 2023-12-14)
docs/res/ (0, 2023-12-14)
docs/res/iosevka.woff2 (964132, 2023-12-14)
docs/res/logo.png (29198, 2023-12-14)
docs/script.js (3057, 2023-12-14)
docs/style.css (2624, 2023-12-14)
docs/wiki_src/ (0, 2023-12-14)
docs/wiki_src/coding/ (0, 2023-12-14)
docs/wiki_src/coding/IO.md (1032, 2023-12-14)
docs/wiki_src/coding/REPL.md (2031, 2023-12-14)
docs/wiki_src/coding/combinators.md (2315, 2023-12-14)
docs/wiki_src/coding/compilation.md (1697, 2023-12-14)
docs/wiki_src/coding/currying.md (723, 2023-12-14)
docs/wiki_src/coding/data-structures.md (4177, 2023-12-14)
docs/wiki_src/coding/examples.md (2998, 2023-12-14)
docs/wiki_src/coding/laziness.md (1367, 2023-12-14)
docs/wiki_src/coding/meta-programming.md (2030, 2023-12-14)
docs/wiki_src/coding/mixfix.md (1336, 2023-12-14)
... ...
近期下载者：
相关文件：
收藏者：