Merge branch 'master' of github.com:UniMath/live

arnoudvanderleer · arnoudvanderleer · commit 91101f2540ec · 2023-06-29T18:10:40.000+02:00
diff --git a/README.md b/README.md
@@ -0,0 +1,3 @@
+# jsUniMath
+
+Visit https://unimath.github.io/live/ to try out UniMath in your browser.

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+# jsUniMath`
	`2`	`+`
	`3`	`+Visit https://unimath.github.io/live/ to try out UniMath in your browser.`