Dan Connolly
Dan Connolly
> dump/restore is definitely a challenge for unforgeable-name / ocap strategies. @fabcotech , discussion with @tgrospic of the PoS upgrade and https://github.com/rchain/rchain/issues/2956 reminded me that the dump/restore challenge has a...
https://github.com/monte-language/spotter could be part of a solution here; the reference WASM stuff is in ocaml.
Something about f keeping a reference to k after m.fetch(k, f) I think.
http://wiki.erights.org/wiki/POLA_fetch
I think you run it (mtDocStrings) and paste the output into docs/source/runtime.rst
perhaps move to packaging section? hm... where is packaging in the TOC??? And let's show, don't just tell, stuff like: > Our module system abstracts this behavior, parameterizing inputs to...
tangible progress: [fact(5) for monte in redex](https://gist.github.com/dckc/0988a388506427e94fa1)
more progress: reduction relation that works for 1st doctest, based on (define-language) and (decode-mast) that pass all doctests. https://github.com/dckc/mtpony/commit/36b2ffc50197ae294e6874a884ac4b4d4c2f9290 
note recent related work: https://git.io/vdYBZ typhon/master 9dea711 Corbin: regex: Increasingly incorrect module name, and test.
I was using Masque to explore this thru Dec 2015 https://github.com/dckc/masque/tree/semantics 6b1c0ef https://github.com/monte-language/spotter looks like a good way to resume. ocaml and haskell are not that different with regard to...