Search results

Accessing/modifying the Vat decision procedure

Status: Open.

#85 In monte-language/monte;

· ghost opened on Mar 7, 2019

mtDocStrings.mt usage is not documented

Status: Open.

#84 In monte-language/monte;

· dckc opened on Oct 18, 2018

Monte-to-WASM compiler

Status: Open.

#83 In monte-language/monte;

· dckc opened on Nov 18, 2017

safety risk of .fetch/2

Status: Open.

#80 In monte-language/monte;

· dckc opened on Apr 26, 2017

line lengths: emacs defaults vs. Corbin's vi usage

Status: Open.

#78 In monte-language/monte;

· dckc opened on Apr 12, 2017

"Why Modules?" doesn't belong in the reference section

Status: Open.

#77 In monte-language/monte;

· dckc opened on Apr 12, 2017

relate snapshot / diverge to Final / Var, and DeepFrozen

Status: Open.

#76 In monte-language/monte;

· dckc opened on Apr 12, 2017

redex AAM semantics for monte

Status: Open.

#70 In monte-language/monte;

· dckc opened on Mar 28, 2016

executable tests for railroad diagrams

Status: Open.

#62 In monte-language/monte;

· dckc opened on Aug 15, 2015

should Timer.trial() return a promise?

Status: Open.

#57 In monte-language/monte;

· dckc opened on Aug 1, 2015

compile to JavaScript (SES) to run in browsers (and node.js?)

Status: Open.

#52 In monte-language/monte;

· dckc opened on Jul 31, 2015