AIT

Algorithmic Information Theory, using Binary Lambda Calculus

Name		Name	Last commit message	Last commit date
Latest commit History 274 Commits
ait		ait
characteristic_sequences		characteristic_sequences
fast_growing_and_conjectures		fast_growing_and_conjectures
lists		lists
misc		misc
numerals		numerals
.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
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
Uni.hs		Uni.hs
Uni2.hs		Uni2.hs
UniObf.hs		UniObf.hs
blc.pl		blc.pl
int.gif		int.gif
kraft.eps		kraft.eps
natree.eps		natree.eps
primes.gif		primes.gif
primes.py		primes.py
theorem		theorem

Provide feedback