A framework for executable UC specifications.
25'ten fazla konu seçemezsiniz Konular bir harf veya rakamla başlamalı, kısa çizgiler ('-') içerebilir ve en fazla 35 karakter uzunluğunda olabilir.
Thomas Kerber e9c05e676b
Not sure if this is working.
1 yıl önce
Yggdrasil Not sure if this is working. 1 yıl önce
LICENSE Add license. 1 yıl önce
yggdrasil.agda-lib Start constructing world. 1 yıl önce