aboutsummaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--documentation/bookmark/back-end/wasm.md (renamed from documentation/bookmark/back-end/WebAssembly (WASM).md)4
-rw-r--r--documentation/bookmark/optics.md (renamed from documentation/bookmark/Optics (eg lenses & prisms).md)2
2 files changed, 5 insertions, 1 deletions
diff --git a/documentation/bookmark/back-end/WebAssembly (WASM).md b/documentation/bookmark/back-end/wasm.md
index 4e6487d85..9cca5b8a9 100644
--- a/documentation/bookmark/back-end/WebAssembly (WASM).md
+++ b/documentation/bookmark/back-end/wasm.md
@@ -1,3 +1,7 @@
+# Platform
+
+1. [WAVM: WAVM is a WebAssembly virtual machine, designed for use in non-web applications.](https://wavm.github.io/)
+
# Exemplar
1. [Announcing GraalWasm — a WebAssembly engine in GraalVM](https://medium.com/graalvm/announcing-graalwasm-a-webassembly-engine-in-graalvm-25cd0400a7f2)
diff --git a/documentation/bookmark/Optics (eg lenses & prisms).md b/documentation/bookmark/optics.md
index 6f7acb5ca..903c2ff54 100644
--- a/documentation/bookmark/Optics (eg lenses & prisms).md
+++ b/documentation/bookmark/optics.md
@@ -19,6 +19,6 @@
1. http://evincarofautumn.blogspot.com/2016/01/thoughts-on-using-fractional-types-to.html
1. https://www.slideshare.net/davidoverton/comonad
1. http://codingismycraft.com/index.php/2017/10/04/adding-descriptors-to-your-python-arsenal/
-1. https://blog.jle.im/entry/lenses-products-prisms-sums.html
+1. [Lenses embody Products, Prisms embody Sums](https://blog.jle.im/entry/lenses-products-prisms-sums.html)
1. http://www.philipzucker.com/lens-as-a-divisibility-relation-goofin-off-with-the-algebra-of-types/