Dan Connolly
Dan Connolly
it should be in a Makefile or https://github.com/monte-language/monte/blob/master/docs/source/tools.rst or something.
``` I feel like we need a space for documenting POLA maybe-not-safe-but-nobody-has-really-shown-a-good-PoC stuff. PoC = proof of concept? Yeah. Stuff like .fetch/2 on Maps. oh. yes, the risk around .fetch/2...
following... [An Introduction to Redex with Abstracting Abstract Machines (v0.5)](https://dvanhorn.github.io/redex-aam-tutorial/) David Van Horn [email protected] Last updated: Thursday, March 17th, 2016
When we re-indent stuff, it makes spurious diffs. I'd like to add something to tell emacs to be consistent with Corbin.
the snapshot / diverge blurb is an awkward fit for the section on list syntax. It belongs closer to Final, Var, and DeepFrozen. (reported by uczy)
this would treat the non-determinism like I/O and such.
The unittest module seems to be somewhat disabled, so I'm not able to run the tests. Also, I'm not sure what the norms are for guards. I currently don't use...
### What did you expect to see? List.toSet in the cheat-sheet https://github.com/rchain/rchain/blob/dev/rholang/reference_doc/rho_cheatsheet.pdf ### What did you see instead? no List.toSet _credit: @jimscarver for discovering the issue_ cc @SteveHenley
@JoshyOrndorff writes October 27 12:16 AM: > Last sentence in the abstract "The platform includes a modular, end-to-end design that commits to correct-by-construction software and industrial extensibility."