Skip to content
GitLab
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 more explanations to README
· 481885db
Nicolai Kraus
authored
Jul 08, 2017
481885db