صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
caryoscelus
/
agda
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
درخت: 9c190b6ebc
شاخه‌ها تگ‌ها
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 سال پیش
..
README fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 سال پیش
ac1 fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 سال پیش
ac2 fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 سال پیش
ac3 fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 سال پیش
cat fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 سال پیش
cwf fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 سال پیش
syntax1 fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 سال پیش
syntax2 fc8e93ce99 fixed broken benchmarks and cleaned up log parser (also: new benchmark run) 13 سال پیش

README

Try syntactic equality first in conversion checking