Remora. Dependently-typed language with Iverson-style implicit lifting

github.com/landonf/Remora
by @landonf

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.