russell. A dependently-typed functional programming reasearch language

github.com/jaredloomis/russell
by @jaredloomis

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.