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 accou

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…