Ryan Orendorff f7ad47a8f6 agdaPackages.cubical: init at 0.2 (#76994) ...

Co-authored-by: Alex Rice <alexrice999@hotmail.co.uk>

2020-05-19 13:20:35 -04:00

..

agda-categories

Agda: Add turion as maintainer

2020-05-14 20:54:12 +01:00

agda-prelude

Agda: Add turion as maintainer

2020-05-14 20:54:12 +01:00

cubical

agdaPackages.cubical: init at 0.2 (#76994)

2020-05-19 13:20:35 -04:00

iowa-stdlib

Agda: Add turion as maintainer

2020-05-14 20:54:12 +01:00

standard-library

Agda: Add turion as maintainer

2020-05-14 20:54:12 +01:00