You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+5-6Lines changed: 5 additions & 6 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -1,16 +1,15 @@
1
1
# 1ML Online REPL
2
2
3
-
A web-based version of the 1ML compiler and REPL. Compiled from the [original 1ML implementation by Andreas Rossberg](https://github.com/rossberg/1ml)using js_of_ocaml.
3
+
A web-based version of the 1ML compiler and REPL, built using [Andreas Rossberg’s original 1ML implementation](https://github.com/rossberg/1ml)and compiled to JavaScript with js_of_ocaml.
4
4
5
5
This web interface provides a simple environment for writing and executing 1ML code:
6
6
7
7
- Write 1ML code in the editor on the left
8
-
- Click "Run" or press Ctrl+Enter to execute the code
9
-
- See the results in the output panel on the right
10
-
- Use the "Clear" button to clear the output panel
11
-
12
-
Try it out at: https://gldubc.github.io/1ml_web/
8
+
- Click **"Run"** or press **Ctrl+Enter** to execute.
9
+
- View the results in the output panel on the right.
10
+
- Use **"Clear"** to reset the output
13
11
12
+
Try it out here: https://gldubc.github.io/1ml_web/
0 commit comments