borrow-lambda. Borrow checker for a simply-typed lambda calculus

github.com/39bytes/borrow-lambda

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.