Got bitten by this so many times
RT @OliverCaldwell@twitter.com
I'm no Python expert, but is this a super common bug? How do people use defaults without this happening?
def x (y=[]):
return y
x() => []
x().append(10)
x() => [10]
🐦🔗: https://twitter.com/OliverCaldwell/status/1504472687426498562
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.