metaweta

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

Message Set

Methods on Sessions

Ping and pong

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

Methods on Agents

createAgent

• createAgentRequest(authType: String, authValue: String)

metaweta

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(