typing-rule-generator
// Generate and format typing rules in inference rule notation for type system design
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
nametyping-rule-generator
descriptionGenerate and format typing rules in inference rule notation for type system design
allowed-toolsBash,Read,Write,Edit,Glob,Grep
metadata[object Object]
Typing Rule Generator
Purpose
Provides expert guidance on generating typing rules for programming language design using formal inference rule notation.
Capabilities
- LaTeX inference rule generation
- Syntax-directed rule derivation
- Typing derivation tree construction
- Rule dependency analysis
- Export to Ott/LNGen format
- Handle subtyping and polymorphism
Usage Guidelines
- Syntax Definition: Define language syntax formally
- Rule Design: Design typing rules for each construct
- Derivation Trees: Build typing derivation examples
- Formatting: Generate publication-quality rules
- Export: Export to mechanization tools
Tools/Libraries
- LaTeX (mathpartir)
- Ott
- LNGen
- PLT Redex