Software Development
Typing Rule Generator
Generate and format typing rules in inference rule notation for type system design
- Publisher / source
- a5c-ai/babysitter (found on GitHub top repositories)
- Upstream record
- a5c-ai/babysitter
- Version
- Version 1
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-07
- Content fingerprint
d6fb3e1ecd49734336c41f204131060e99889f4629b7995cbb31d553c9dde890