https://github.com/mroman42/mikrokosmos-js
Call Mikrokosmos from Javascript
https://github.com/mroman42/mikrokosmos-js
ghcjs lambda-calculus
Last synced: 10 months ago
JSON representation
Call Mikrokosmos from Javascript
- Host: GitHub
- URL: https://github.com/mroman42/mikrokosmos-js
- Owner: mroman42
- License: gpl-3.0
- Created: 2017-08-27T16:02:23.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2018-08-01T14:24:10.000Z (almost 8 years ago)
- Last Synced: 2025-04-03T08:51:28.676Z (about 1 year ago)
- Topics: ghcjs, lambda-calculus
- Language: Haskell
- Homepage: https://mroman42.github.io/mikrokosmos-js/
- Size: 1.77 MB
- Stars: 7
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# mikrokosmos-js
Call [Mikrokosmos](https://github.com/M42/mikrokosmos) from Javascript.
## How to embed Mikrokosmos on a web page
You need the following code on your header
~~~ html
~~~
and, optionally, the following `css`
~~~ html
.CodeMirror {
border: 1px solid #eee;
height: auto;
overflow-y: hidden;
}
.CodeMirror-scroll {
height: auto;
overflow-y: hidden;
overflow-x: auto;
}
.mikrojs-console {
height: auto;
}
pre {
box-shadow: 0px 0px 1px #eee;
}
~~~
The `mikrokosmos` JS function will be available then.
You can write Mikrokosmos code pads on your document as
~~~ html
(\x.x)
... your code
~~~