GitHub - eamsden/mk-dependent-tc: Typechecker for a dependently typed LC in MiniKanren

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
micro-for-dependent.rkt		micro-for-dependent.rkt
mini-for-dependent.rkt		mini-for-dependent.rkt
mk.rkt		mk.rkt
mk.scm		mk.scm
pmatch.rkt		pmatch.rkt
tc.rkt		tc.rkt

About

Typechecker for a dependently typed LC in MiniKanren

No releases published