Emergency keyholder for bincode here.

Yeah, that's basically right, I won't go into the reason for the name change (there's been lots of speculation, almost all of it wrong), but only metadata was edited, and only commits the person doing the change had personally worked on were updated.

Any, All, and the Hidden Power of lolnogenerics This is going to sound really odd, especially if you have have some passing familiarly with Idris, but Idris doesn't <em>actually</em> have generics. Sure, it has something that <em>looks</em> like ge...

🐉 New Idris Post: Any, All, and the Hidden Power of lolnogenerics

staging.stranger.systems/trunk/posts/...

#Idris #FunctionalProgramming

Views: Pattern Matching Arrays as Lists For performance reasons, we sometimes find ourselves implementing the interface of a more basic structure in terms of a much more complicated one. In functional programming languages, this often comes...

🐉 New Idris Post: Views: Pattern Matching Arrays as Lists.

www.stranger.systems/posts/by-slu...

#idris #FunctionalProgramming