kmizu/ai-lang

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

10Stars on the repository
1Mods indexed here, across every type
1y agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied

ai-lang CLAUDE.md

01

kmizu/ai-lang

Instructions file

Claude Code instructions for kmizu/ai-lang, covering claude.md, project overview, development commands, install dependencies and run tests.

10 1y ago A 2,063 tokens