Ana Sayfa Keşfet Yardım
Giriş Yap
caryoscelus
/
agda
İzle 1
Yıldızla 0
Çatalla 0
Dosyalar Sorunlar 0 Değişiklik İstekleri 0 Wiki
Ağaç: 9c190b6ebc
Dallar Biçim İmleri
agda
/
benchmark
/
logs
/
20081201-12.55-ulf-norells-macbook-pro
ulfn fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 yıl önce
..
README fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 yıl önce
ac1 fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 yıl önce
ac2 fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 yıl önce
ac3 fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 yıl önce
cat fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 yıl önce
cwf fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 yıl önce
syntax1 fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 yıl önce
syntax2 fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 yıl önce

README

Try syntactic equality first in conversion checking