Rare find

algaett. 🦠 An experimental elaborator for dependent type theory using effects and handlers

github.com/RedPRL/algaett

Problem

Audience

Updates

No founder updates yet. Check back soon.