Name		Name	Last commit message	Last commit date
Latest commit History 202 Commits
.gitignore		.gitignore
AIT.lhs		AIT.lhs
BB.lhs		BB.lhs
BB.txt		BB.txt
BBold.lhs		BBold.lhs
BBx.hs		BBx.hs
BF.hs		BF.hs
BLC.hs		BLC.hs
BLC.tex		BLC.tex
Bases.lhs		Bases.lhs
Binary_lambda_calculus.html		Binary_lambda_calculus.html
ColorAlpha.hs		ColorAlpha.hs
Goodstein.hs		Goodstein.hs
LC.pdf		LC.pdf
LC.txt		LC.txt
Lambda.lhs		Lambda.lhs
Laver.hs		Laver.hs
Main.lhs		Main.lhs
Makefile		Makefile
Omega		Omega
Primes.hs		Primes.hs
README		README
README.md		README.md
SKint.lam		SKint.lam
Sample.hs		Sample.hs
Sample.lam		Sample.lam
Uni.hs		Uni.hs
Uni2.hs		Uni2.hs
Y.cl		Y.cl
ackermann.lam		ackermann.lam
all.lam		all.lam
arithmetic.lam		arithmetic.lam
beavers.lam		beavers.lam
bf.lam		bf.lam
bf2.lam		bf2.lam
binary.lam		binary.lam
blc.pl		blc.pl
delimit.lam		delimit.lam
delimit2.lam		delimit2.lam
div.lam		div.lam
divides.lam		divides.lam
eq.lam		eq.lam
even.lam		even.lam
fac.lam		fac.lam
fac.pbm		fac.pbm
fib.lam		fib.lam
gAckerman.lam		gAckerman.lam
goldbach.gif		goldbach.gif
goldbach.lam		goldbach.lam
goodstein.lam		goodstein.lam
graham.lam		graham.lam
hw.bf		hw.bf
id.lam		id.lam
int.gif		int.gif
int.lam		int.lam
int4.lam		int4.lam
kraft.eps		kraft.eps
lambda.py		lambda.py
laver.lam		laver.lam
laver1.lam		laver1.lam
laver2.lam		laver2.lam
leq.lam		leq.lam
lt.lam		lt.lam
min.lam		min.lam
mod.lam		mod.lam
natree.eps		natree.eps
none.lam		none.lam
odd.lam		odd.lam
oddperfect.lam		oddperfect.lam
pairlen.lam		pairlen.lam
pairup.lam		pairup.lam
pairup2.lam		pairup2.lam
perfect.lam		perfect.lam
primes.gif		primes.gif
primes.lam		primes.lam
primes2.lam		primes2.lam
quine		quine
quine.lam		quine.lam
readlen.lam		readlen.lam
reverse.lam		reverse.lam
sort.lam		sort.lam
theorem		theorem
thue-morse.bf		thue-morse.bf
thue-morse.lam		thue-morse.lam
truth		truth
truth.lam		truth.lam
uni.lam		uni.lam
uni8.lam		uni8.lam
wtf.lam		wtf.lam

Repository files navigation

AIT

Algorithmic Information Theory, using Binary Lambda Calculus

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

AIT

About

Releases

Packages

Languages

johnchristotle/AIT

Folders and files

Latest commit

History

Repository files navigation

AIT

About

Resources

Stars

Watchers

Forks

Releases

Packages 0

Languages

Packages