AIT

Algorithmic Information Theory, using Binary Lambda Calculus

Name		Name	Last commit message	Last commit date
Latest commit History 348 Commits
BB		BB
ait		ait
bin		bin
characteristic_sequences		characteristic_sequences
fast_growing_and_conjectures		fast_growing_and_conjectures
lists		lists
misc		misc
numerals		numerals
rosetta		rosetta
.gitignore		.gitignore
AIT.lhs		AIT.lhs
BLC.hs		BLC.hs
BLC.tex		BLC.tex
Bases.lhs		Bases.lhs
Binary_lambda_calculus.html		Binary_lambda_calculus.html
ClosedRanking.hs		ClosedRanking.hs
ColorAlpha.hs		ColorAlpha.hs
LC.pdf		LC.pdf
LC.txt		LC.txt
Lambda.lhs		Lambda.lhs
Main.lhs		Main.lhs
Makefile		Makefile
Omega		Omega
README		README
README.md		README.md
Sample.hs		Sample.hs
Sample.lam		Sample.lam
Sizes.hs		Sizes.hs
Uni.hs		Uni.hs
Uni2.hs		Uni2.hs
UniObf.hs		UniObf.hs
bf.blc8		bf.blc8
hilbert		hilbert
int.gif		int.gif
kraft.eps		kraft.eps
natree.eps		natree.eps
nf.c		nf.c
primes.gif		primes.gif
primes.py		primes.py
theorem		theorem
uni.c		uni.c
uni.js		uni.js
uni.pl		uni.pl
uni.py		uni.py
uni.rb		uni.rb

tromp/AIT