diff options
author | Eduardo Julian | 2021-06-12 01:32:40 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-06-12 01:32:40 -0400 |
commit | af3e6e2cb011dc2ad9204440990731a2f272716d (patch) | |
tree | 3521c74b05fc5b3ddddbe901d32ace87dbb6c018 /documentation/bookmark | |
parent | 8f575da5095e3b259d4eb6b6f13d3e37ef1d38e4 (diff) |
Constraining the year of the snapshot time in Aedifex.
Diffstat (limited to 'documentation/bookmark')
-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/ |