caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ js_amd

ulfn ab98bc2570 benchmarks with and without sharing		12 سال پیش
..
ac1	ab98bc2570 benchmarks with and without sharing	12 سال پیش
ac2	ab98bc2570 benchmarks with and without sharing	12 سال پیش
ac3	ab98bc2570 benchmarks with and without sharing	12 سال پیش
any	ab98bc2570 benchmarks with and without sharing	12 سال پیش
cat	ab98bc2570 benchmarks with and without sharing	12 سال پیش
cwf	ab98bc2570 benchmarks with and without sharing	12 سال پیش
data	ab98bc2570 benchmarks with and without sharing	12 سال پیش
functor	ab98bc2570 benchmarks with and without sharing	12 سال پیش
latemeta	ab98bc2570 benchmarks with and without sharing	12 سال پیش
monad	ab98bc2570 benchmarks with and without sharing	12 سال پیش
monadpostulate	ab98bc2570 benchmarks with and without sharing	12 سال پیش
nested	ab98bc2570 benchmarks with and without sharing	12 سال پیش
patternmatch	ab98bc2570 benchmarks with and without sharing	12 سال پیش
polyfunctor	ab98bc2570 benchmarks with and without sharing	12 سال پیش
prim	ab98bc2570 benchmarks with and without sharing	12 سال پیش
record	ab98bc2570 benchmarks with and without sharing	12 سال پیش
syntax1	ab98bc2570 benchmarks with and without sharing	12 سال پیش
syntax2	ab98bc2570 benchmarks with and without sharing	12 سال پیش