agentsclimarketplace
Sign in

Typing rule generator

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/typing-rule-generator

Generate and format typing rules in inference rule notation for type system designFrom its SKILL.md

Install
npx -y skills add a5c-ai/babysitter --skill typing-rule-generator

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

SKILL.md

1.4 KB, 158 tokens by cl100k_base, as published. Nobody here has run it

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

  1. Syntax Definition: Define language syntax formally
  2. Rule Design: Design typing rules for each construct
  3. Derivation Trees: Build typing derivation examples
  4. Formatting: Generate publication-quality rules
  5. Export: Export to mechanization tools

Tools/Libraries

  • LaTeX (mathpartir)
  • Ott
  • LNGen
  • PLT Redex

What ships with it

Read from the repository

Just SKILL.md. No reference files, no scripts.

Keep looking

Skills are one crate of 326,059. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.