文件名称：mikrokosmos-js:从Javascript调用Mikrokosmos
文件大小：586KB
文件格式：ZIP
更新时间：2024-05-17 06:53:27
lambda-calculus ghcjs Haskell
mikrokosmos-js 从Javascript调用 。 如何在网页上嵌入Mikrokosmos 您的标头上需要以下代码 < script src =" https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.29.0/codemirror.min.js " > </ script > < link rel =" stylesheet " href =" https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.29.0/codemirror.css " > < script src =" https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.29.0/addon/mode/simple.min.js " > </ script > < s
【文件预览】：
mikrokosmos-js-master
----.gitmodules(92B)
----docs()
--------mikrobox.js(1KB)
--------index.org(4KB)
--------runmain.js(31B)
--------codemirrorcustom.css(8KB)
--------index.html(15KB)
--------lib.js(197KB)
--------rts.js(562KB)
--------out.js(855KB)
--------html.setup(2KB)
--------mikrocode.css(240B)
--------styles()
--------all.js(1.58MB)
--------codemirrormkr.js(2KB)
----stack.yaml(365B)
----LICENSE(34KB)
----mikrokosmos()
----Setup.hs(46B)
----.gitignore(516B)
----README.md(2KB)
----mikrokosmosjs.cabal(2KB)
----source()
--------Main.hs(1KB)