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…
Take a look at spacemacs (sorry, no link, I'm on mobile). It's got a lot of cool features, but most importantly the "layers" (an abstraction on top of modes and packages) all have evil-ified keybindings.
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…
I try to take a break from proving progress and preservation by reading hackernews and of course I find someone talking about 15-312 :/ Either way, I would agree with you in recommending the text.
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…
Take a look at spacemacs (sorry, no link, I'm on mobile). It's got a lot of cool features, but most importantly the "layers" (an abstraction on top of modes and packages) all have evil-ified keybindings.
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…
I try to take a break from proving progress and preservation by reading hackernews and of course I find someone talking about 15-312 :/ Either way, I would agree with you in recommending the text.