文件名称：Brainfun:伊德里斯的 Brainf**k 解释器
文件大小：16KB
文件格式：ZIP
更新时间：2024-06-26 03:28:38
Idris
伊德里斯的 Brainf**k 解释器 要编译，请编写： idris --build brainfun.ipkg 生成的可执行文件将被称为brainfun （或brainfun.exe在Windows上）。 没有参数，程序从标准输入的一行读取。 有一个参数，该参数是源文件。 状态的唯一性类型以减少分配 说服go通过覆盖检查器
【文件预览】：
Brainfun-master
----readme.org(431B)
----src()
--------BrainFun()
----LICENSE(34KB)
----.gitignore(20B)
----brainfun.ipkg(209B)