simple-lambda-calculus-with-refinement-types. A simple lambda calculus extension for refinement types

github.com/MichaReiser/simple-lambda-calculus-with-refinement-types
by @MichaReiser

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.