tromp / AIT

Algorithmic Information Theory, using Binary Lambda Calculus

AIT

Algorithmic Information Theory, using Binary Lambda Calculus

About

Algorithmic Information Theory, using Binary Lambda Calculus

Languages

Language:Haskell 37.8%Language:HTML 30.9%Language:TeX 17.7%Language:C 8.3%Language:Agda 1.8%Language:JavaScript 0.8%Language:Python 0.7%Language:Perl 0.6%Language:Ruby 0.6%Language:Makefile 0.5%Language:PostScript 0.4%Language:Brainfuck 0.1%