tromp/AIT

Algorithmic Information Theory, using Binary Lambda Calculus

Haskell

211

504 commits

updated Sep 21, 2026

Contributors

398 commits

90 commits

6 commits

5 commits

Languages

Haskell

41.1%

HTML

28.5%

TeX

16.3%

C

9.2%

Agda

1.6%

tromp/AIT

Algorithmic Information Theory, using Binary Lambda Calculus

Haskell

211

504 commits

updated Sep 21, 2026

Contributors

398 commits

90 commits

6 commits

5 commits

Languages

Haskell

41.1%

HTML

28.5%

TeX

16.3%

C

9.2%

Agda

1.6%