AndrasKovacs/elaboration-zoo
@AndrasKovacsImplementasi minimal untuk pemeriksaan dan elaborasi tipe dependen.
Bintang
797
Fork
50
Bahasa
Haskell
Lisensi
BSD-3-Clause
Push terakhir
7 bulan yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.