ilya-klyuchnikov

ilya-klyuchnikov

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
243 Stars
30 Forks
13 Watchers

Repositories (2)

ttlite ilya-klyuchnikov/ttlite Scala

A SuperCompiler for Martin-Löf's Type Theory

125
lambdapi ilya-klyuchnikov/lambdapi Haskell

Dependently Typed Lambda Calculus in Haskell

118