Merge pull request #6165 from andreasabel/Sit
Add new package Sit (executable)
commite032886e4482087cb1e7b2e3e46a8bcb8148534c
authorjkachmar <git@jkachmar.com>
dateThu 12 Aug 2021, 19:05 (5 years ago)
parente3595779f86f8a
build-constraints.yaml+1
@@ -39,6 +39,7 @@ packages:
3939
4040 "Andreas Abel <andreas.abel@gu.se> @andreasabel":
4141 - BNFC
42+ - Sit
4243 - STMonadTrans
4344 - Agda
4445 - agda2lagda