Add new package Sit (executable)

This commit is contained in:
Andreas Abel 2021-08-12 21:20:54 +02:00
parent bd4535fc38
commit 9f86f8a4cb

View File

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