DanilaFe/formal-interview
1
0
Çatalla 0
Kod Konular Değişiklik İstekleri İşlemler Paketler Projeler Sürüm Wiki Aktivite
2 İşleme 2 Dal 0 Etiketler
main
Dosyaya git
Clone
VS Code ile aç VSCodium ile aç Intellij IDEA ile aç
ZIP indir TAR.GZ indir BUNDLE indir
Danila Fedorin 1f7dd876b5 Slightly clean up some comments 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-22 19:47:51 -07:00
Lang.agda
Slightly clean up some comments
2024-09-22 19:47:51 -07:00
Açıklama
An Agda formalization of some of what we talked about during the Formal interview.
54 KiB
Dil
Agda 100%