We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent bd4535f commit 9f86f8aCopy full SHA for 9f86f8a
build-constraints.yaml
@@ -39,6 +39,7 @@ packages:
39
40
"Andreas Abel <[email protected]> @andreasabel":
41
- BNFC
42
+ - Sit
43
- STMonadTrans
44
- Agda
45
- agda2lagda
0 commit comments