bidirectional-type-checking
CommunityMaster type checking with bidirectional algorithms.
Authorrainoftime
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill helps implement type checkers that provide better local error messages and support advanced type system features by leveraging bidirectional algorithms.
Core Features & Use Cases
- Mode-Directed Typing: Implements inference and checking modes for precise type analysis.
- Elaboration: Supports the conversion of surface syntax to a fully typed core language.
- Use Case: When building a new programming language or enhancing an existing one, use this Skill to create a robust and user-friendly type checker.
Quick Start
Implement the bidirectional typing rules for lambda calculus, distinguishing between inference and checking modes.
Dependency Matrix
Required Modules
type-inference-enginesimply-typed-lambda-calculus
Components
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: bidirectional-type-checking Download link: https://github.com/rainoftime/pl-skills/archive/main.zip#bidirectional-type-checking Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.