bhakti
bhaktishh@types.pl
<p>st. andrews <- uchicago | she/her | world’s biggest hater™ | this account is by no means professional so beware</p>
Posts
-
Post #2900024
nope not what i was looking for
-
Post #1917409
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
-
Post #1688591
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