SoftwareFoundationGroupAtKyotoU/pure-borrow

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

Latest release v0.0.0.0 — Release 0.0.0.0 · 5 May 2026

9 files for Claude Code, Codex and OpenCode: PostToolUse, pure-borrow, haddock, haskell-cabal-gild and 5 more — 7,026 tokens loaded in every session.

Open on GitHub

Instructions

pure-borrow AGENTS.md AGENTS.md A 7,023 tok
pure-borrow CLAUDE.md CLAUDE.md A 3 tok

Settings

pure-borrow .claude/settings.json A —

Hooks

PostToolUse .claude/settings.json A —

Skills

haddock .codex/skills/haddock/SKILL.md A 73 tok
haskell-cabal-gild .codex/skills/haskell-cabal-gild/SKILL.md A 68 tok
haskell-format .codex/skills/haskell-format/SKILL.md A 53 tok
haskell .codex/skills/haskell/SKILL.md A 102 tok
hoogle .codex/skills/hoogle/SKILL.md A 41 tok

These files are SoftwareFoundationGroupAtKyotoU/pure-borrow's own configuration — they tell Claude Code, Codex and OpenCode 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.