Skip to content
GitLab
Next
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Paolo Capriotti
agda-segal
Repository
agda-segal
README.md
Find file
Blame
History
Permalink
Add README.md
· fad2adde
Paolo Capriotti
authored
Jun 29, 2017
fad2adde