Skip to content

Add Agda typecheck skill + SessionStart hook for Claude Code on the web#1220

Closed
williamdemeo wants to merge 3 commits into
masterfrom
claude/agda-skill-and-session-hook
Closed

Add Agda typecheck skill + SessionStart hook for Claude Code on the web#1220
williamdemeo wants to merge 3 commits into
masterfrom
claude/agda-skill-and-session-hook

Address PR #1220 review: use extra-* nix settings and idempotent env …

cfa8c63
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar