Pierre Leroyer's starred repositories
curry-agda
Agda proofs for properties of Curry operations
strava_flutter
Flutter package to use Strava v3 API
git.training
Probably another git training. Feel free to fork play with it!
Agda proofs for properties of Curry operations
Flutter package to use Strava v3 API
Probably another git training. Feel free to fork play with it!