guarded-recursion. Playing with guarded recursion in Coq and Agda

github.com/csgordon/guarded-recursion
by @csgordon

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.