Merge pull request #6165 from andreasabel/Sit

Add new package Sit (executable)
This commit is contained in:
jkachmar 2021-08-12 19:05:42 -04:00 committed by GitHub
commit e032886e44
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -39,6 +39,7 @@ packages:
"Andreas Abel <andreas.abel@gu.se> @andreasabel":
- BNFC
- Sit
- STMonadTrans
- Agda
- agda2lagda