Skip to content

Instantly share code, notes, and snippets.

Mike Stay metaweta

Block or report user

Report or block metaweta

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View TagTree.hx
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(
@metaweta
metaweta / IAMessageSet.md
Last active Aug 13, 2016
Individual Agent message set proposal
View IAMessageSet.md

Message Set

Methods on Sessions

Ping and pong

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

Methods on Agents

createAgent

  • createAgentRequest(authType: String, authValue: String)
View TermEval.scala
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 {
You can’t perform that action at this time.