THE MARTYR OF BUTLERIAN JIHAD on Nostr: Serious question! Has anyone considered using tablets instead of a keyboard for ...

Serious question!
Has anyone considered using tablets instead of a keyboard for writing code? Because Agda and other language with Unicode syntax are a total fuck to write with just a keyboard. I completely and utterly hate it.