kmizu/ai-lang

A dependently-typed programming language implemented in Python by AI (Claude Code).

These files are kmizu/ai-lang's own configuration. They tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.