kagu

A toy dependently-typed language

    Git repository is accessible on git.sbi.re.