Skip to content

Instantly share code, notes, and snippets.

View metaweta's full-sized avatar

Mike Stay metaweta

View GitHub Profile
import scala.collection.mutable.HashMap
class Term[Name]
case class Var[Name] (val x: Name) extends Term[Name]
case class App[Name] (val t1: Term[Name], val t2: Term[Name]) extends Term[Name]
case class Lam[Name] (val x: Name, t1: Term [Name]) extends Term[Name]
class FreeVars[Name](val instance: Term[Name]) {
def freeVars: List[Name] = instance match {
@metaweta
metaweta / IAMessageSet.md
Last active April 26, 2023 00:31
Individual Agent message set proposal

Message Set

Methods on Sessions

Ping and pong

  • sessionPing(sessionURI: URI)
  • sessionPong(sessionURI: URI)

Methods on Agents

createAgent

  • createAgentRequest(authType: String, authValue: String)
class TagTree {
static function render(tree: Dynamic): String {
var result: Array<String> = [];
var keys: Array<String> = untyped (Object.keys(tree));
for (i in keys) {
var child: Dynamic = untyped tree[i];
if (untyped child._visited) {
untyped __js__("delete child._visited");
var childStr = render(child);
result.push(