Agate: an Agda-to-Haskell compiler aist / cvs hiroyuki Ozaki
Şəkil nömrələri daxil edin: