Danila Fedorin 7d6f362936 Avoid using rev in Agda derivation ...

This might make the derivation more cacheable

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>

2024-05-25 06:06:10 +00:00

2.3 KiB

Raw Blame History

View Raw