THE MARTYR OF BUTLERIAN JIHAD on Nostr: Cubical Agda :akko_scared:https://dl.acm.org/doi/pdf/10.1145/3632898Cubical Agda