/gnu/store/rjx035avfrby0bc1sqxxn1n2zi2sqkmk-agda-2.6.0.1

Nars

View narinfo details View JSON

Builds

Derivation:

/gnu/store/vral0asmff0q3mwmmss5lihwb5k9cch1-agda-2.6.0.1.drv

Copyright © 2016—2020 by the GNU Guix community.
Now with even more λ!

This is free software. Download the source code here.