Elektrine lite

← Feed

bhakti

bhaktishh@types.pl

<p>st. andrews &lt;- uchicago | she/her | world’s biggest hater™ | this account is by no means professional so beware</p>

Posts

  • View post

    nope not what i was looking for

  • View post

    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

  • View post

    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

  • View post

    @wilbowma you’ve certainly earned the title of Top Fan by now and all the other fans thank you for your efforts