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