wikku

Understanding git and diff utilities isn't needed to add more line breaks. A Travis check could be added for new pull requests to check for very long lines added, something...

This is called [weight-balanced trees](https://en.wikipedia.org/wiki/Weight-balanced_tree), here's an implementation: https://github.com/let-def/grenier/blob/master/baltree/bt2.ml and the map structure based on it: https://github.com/let-def/grenier/blob/master/balmap/map.ml The current AVL-based implementation was once reimplemented in Coq and verified: [Functors for...

> ``` > /\_/\ > /=_=\ > ``` This appears to be an infiltration by the OKittn team

> This encoding suggests that Leo's proposed extension does not really add expressiveness. Does this scale to polymorphic effects? It seems that each instantiation requires a new module with a...