plclub/hs-to-rocq

Convert Haskell source code to Coq source code.

4 files for Claude Code: ci-fix, ci, new-example, hs-to-rocq CLAUDE.md — 9,560 tokens loaded in every session.

Instructions

hs-to-rocq CLAUDE.md CLAUDE.md B 9,560 tok

Commands

ci-fix .claude/commands/ci-fix.md A 15 tok
ci .claude/commands/ci.md A 12 tok
new-example .claude/commands/new-example.md C —

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.