Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
raingloom
guix-packages
Repository
guix-packages
raingloom
packages
idris.scm
Find file
Blame
History
Permalink
tidy up the Idris 2 build a bit (its still broken tho)
· 76cade6a
raingloom
authored
Aug 22, 2019
76cade6a