I suppose that the answer is that there are many different types of sub and superscripts, and that sometimes you want, e.g., the subscript version of a character to look slightly different, but don't we already have support for ligatures in fonts for exactly that reason?
No matter how I build my executable, I get "the flag -p requires the program to be built with -prof"
My previous one passed a couple years ago during a move and I'm really starting to miss it...
@TaliaRinger@twitter.com was inspired to finally write these down after you brought up tactics in Agda the other day! 😄
Wrote a list of tactics for Agda:
https://gist.github.com/wenkokke/9f608fdebe0ee335deeff4d5b01b7f69
Let me know if I’ve forgotten anything!
Heya #haskell twitter! How do I get HLS and Wingman to work with VSCode? The only command offered, aside from stopping and starting the language server, seems to be importing identifiers.
I went to get Dora from the countertop, and as I approached she looked at me guiltily and moved her head sideways – without breaking eye contact – to get in one last sniff of the air fryer
RT @cyberglot@twitter.com
dora has learned that she can jump on the kitchen countertop. she knows she can’t be there, so she’s been pulling also sorts of dramatic reactions to pretend she’s not doing anything wrong. she’s also learned to jump off if I approach her or I point at the floor.
🐦🔗: https://twitter.com/cyberglot/status/1457993997553737733