【文件属性】：
文件名称：mikrokosmos-js:从Javascript调用Mikrokosmos
文件大小：586KB
文件格式：ZIP
更新时间：2021-04-27 13:06:47
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)