kagu

A toy dependently-typed language

    Nothing to see here (yet) (or ever).