leveling-up. Source code accompanying the paper "Leveling Up Dependent Types"

github.com/larrytheliquid/leveling-up

@larrytheliquid

Problem

Audience

Updates

No founder updates yet. Check back soon.