Agent Skills: typing-rule-generator
Generate and format typing rules in inference rule notation for type system design
programming-language-theoryID: a5c-ai/babysitter/typing-rule-generator
244
Install this agent skill to your local
Skill Files
Browse the full folder contents for typing-rule-generator.
Loading file tree…
Select a file to preview its contents.