be5invis

function interpret(form, env, k){
	if(form instanceof Array){
		switch(form[0]){
			case 'lambda': {
				var params = form[1];
				var body = form[2];
				return k(function(k){ return function() {
					var e = Object.create(env);
					for(var j = 0; j < params.length; j++)
						e[params[j]] = arguments[j];

be5invis

// noprotect
function Lambda(param, body, e){
	this.param = param
	this.body = body
	this.env = e
};
Lambda.prototype.apply = function(t, args, k0){
	var e_ = Object.create(this.env);
	for(var j = 0; j < this.param.length; j++){
		e_[this.param[j]] = args[j];

preshing

#! /bin/bash
set -e
trap 'previous_command=$this_command; this_command=$BASH_COMMAND' DEBUG
trap 'echo FAILED COMMAND: $previous_command' EXIT

#-------------------------------------------------------------------------------------------
# This script will download packages for, configure, build and install a GCC cross-compiler.
# Customize the variables (INSTALL_PATH, TARGET, etc.) to your liking before running.
# If you get an error and need to resume the script from some point in the middle,
# just delete/comment the preceding lines before running it again.

chrisdone

Common

export OPT=/opt
export BUILDS=/some/where/mini_linux
mkdir -p $BUILDS

Linux kernel

andrewchambers

#! /bin/sh

set -e
set -u
set -x

# configure this!
hostname="nixos"
password="abc123"
diskdev=/dev/sda

graydon

open FStar.Char
open FStar.Seq

(* Helper *)
let max a b = if a > b then a else b

(* Definition *)
let leftpad (c:char) (n:nat) (s:seq char) : seq char =
  let pad = max (n - length s) 0 in
  append (create pad c) s

jart

#!/usr/bin/env python2

import BaseHTTPServer
import SocketServer
import base64
import httplib
import mimetypes
import os
import shutil
import ssl

staab

# http://janet-lang.org
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾

# require lisp.kak

# Detection
# ‾‾‾‾‾‾‾‾‾

hook global BufCreate .*[.](janet) %{
    set-option buffer filetype janet

bakpakin

###
### utf8.janet 
###
### Pure janet utf8 utils. You should probably just use C.
###

(defn utf8-encode
  "Convert a sequence of codepoints to a string."
  [x]
  (def buf @"")

hwayne