flipper. Reversible programming in Agda

github.com/j-towns/flipper

by

@j-towns

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.