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