So excited about this work! The folks working on Granule are doing a great job!
Quote Tweet
Introducing Gerty v0.1.0 a small dependently-typed language with graded types github.com/granule-projec (a cousin to Granule). Grading is applied pervasively in both types and computations! See more + a demo in our ESOP 2021 talk youtube.com/watch?v=mJLNjd