Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
swannodette
Fetched on 2024/05/01 00:23
swannodette
/
TAPL-in-miniKanren-cKanren-core.logic
Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic -
View it on GitHub
Star
1
Rank
4575063