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
Anyway, apparently it’s not recommended to go into surgery while you are a crying mess of stress? So I guess this is for the best.
I didn’t know the exact guidelines around booking hotel accommodation and travel until the week before my surgery, which meant that several times I had to cancel all my bookings and make new ones. In London. One week before my trip.