llf/lambda at master · clf/llf · GitHub

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
CM		CM
BITS		BITS
README		README
abstract.fun		abstract.fun
abstract.sig		abstract.sig
constraints.fun		constraints.fun
constraints.sig		constraints.sig
conv.fun		conv.fun
conv.sig		conv.sig
intsyn.fun		intsyn.fun
intsyn.sig		intsyn.sig
lambda.sml		lambda.sml
normalize.fun		normalize.fun
normalize.sig		normalize.sig
notrail.fun		notrail.fun
pattern.fun		pattern.fun
pattern.sig		pattern.sig
sources.cm		sources.cm
tools.fun		tools.fun
tools.sig		tools.sig
trail.fun		trail.fun
trail.sig		trail.sig
unify.fun		unify.fun
unify.sig		unify.sig
whnf.fun		whnf.fun
whnf.sig		whnf.sig

README

Core Lambda Calculus
Author: Frank Pfenning, Carsten Schuermann
Modified: Various...