Flatland is satire: https://en.wikipedia.org/wiki/Flatland#As_a_social_satire
I feel you. I want to like neovim, I really do. Same thing with this. I even want to just use emacs+evil. But since I've picked up spacemacs (~3 months ago) I can't really use anything else. I'm already pretty hooked on…
I believe dependent typing is what you're after. Have you looked at Idris? http://www.idris-lang.org/example/
Moby Dick. It's great so far, with wonderfully diverse, dense writing. For some reason I have trouble reading anything but the so-called "literary classics". Perhaps it's the fact that there are so many I could quite…
Flatland is satire: https://en.wikipedia.org/wiki/Flatland#As_a_social_satire
I feel you. I want to like neovim, I really do. Same thing with this. I even want to just use emacs+evil. But since I've picked up spacemacs (~3 months ago) I can't really use anything else. I'm already pretty hooked on…
I believe dependent typing is what you're after. Have you looked at Idris? http://www.idris-lang.org/example/
Moby Dick. It's great so far, with wonderfully diverse, dense writing. For some reason I have trouble reading anything but the so-called "literary classics". Perhaps it's the fact that there are so many I could quite…