plclub/hs-to-rocq

Convert Haskell source code to Coq source code.

These files are plclub/hs-to-rocq'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.

Open on GitHub hs-to-coq.readthedocs.io

96Stars on the repository

4Files it configures its agents with

6,009Tokens loaded in every session

1Agent configured

Instructions

hs-to-rocq CLAUDE.md CLAUDE.md B 6,009 tok

Commands

ci-fix .claude/commands/ci-fix.md A 44 tok
ci .claude/commands/ci.md A 11 tok
new-example .claude/commands/new-example.md C —