nope not what i was looking for
Remote
bhakti
@bhaktishh@types.pl
mastodon
4.7.0-alpha.2+glitch
st. andrews <- uchicago | she/her | world’s biggest hater™ | this account is by no means professional so beware
0
Followers
0
Following
10
Posts
Joined November 10, 2022
bad code:
bad html:
Posts
you know if idris is able to tell me that two terms unify when i write a definition surely i could find the right function internally to call from within the compiler to do the same check
surely
but i cannot
Replying to
@joshchen@types.pl
@joshchen lmfao I’ve never once used the end key it scares me because I don’t know whether it’s gonna go to the end of my line or page or end my entire project
I simply cmd ->
The only time I ever use any keys on that dumbass exiled rectangle is when I accidentally press the function key while deleting something and only realise when I try to type something and it’s in Greek
Replying to
@lindsey@recurse.social
@lindsey I’m glad to see someone with an even worse process than me inefficient code writers unite. I even have colour coded nested brackets but vscode simply turns the last paren red because strings is strings and that’s Wrong I have to delete the right one (which is the leftmost one)
Imagine you have a piece of code shaped like this
f(g(h(a b c)))
and you have to delete the innermost set of parentheses (just the parens, not the text). After deleting the opening one, do you
Replying to
@wilbowma@types.pl
@wilbowma you’ve certainly earned the title of Top Fan by now and all the other fans thank you for your efforts