rainbow. An experimental type-checker for dependent bunched implication

github.com/mvr/rainbow

by

@mvr

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.