Rare find

bidirectional-typing. A bidirectional type checker

github.com/samuela/bidirectional-typing

by

@samuela

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.