ilya-klyuchnikov

ilya-klyuchnikov

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
244 Stars
30 Forks
244 Watchers

Repositories (2)

ttlite ilya-klyuchnikov/ttlite Scala

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

126
lambdapi ilya-klyuchnikov/lambdapi Haskell

Dependently Typed Lambda Calculus in Haskell

118