Comment by black_knight

11 hours ago

Fable has become my go to in Agda as well. It just crunches hard technical tasks!

I find Fable 5 still lacking in library design. But I guess there is no accounting for taste…