Add agda2lagda (new package)
commit52a41d34958f5dd0bfa439c62e6ddea50a75b031
authorAndreas Abel <andreas.abel@ifi.lmu.de>
dateSun 1 Nov 2020, 01:02 (6 years ago)
parent4ca19de
build-constraints.yaml+1
@@ -16,6 +16,7 @@ packages:
1616 - BNFC
1717 - STMonadTrans
1818 - Agda
19+ - agda2lagda
1920
2021 "Diogo Biazus <diogo@biazus.ca>":
2122 - hasql-notifications