(by @andrestaltz)
If you prefer to watch video tutorials with live-coding, then check out this series I recorded with the same contents as in this article: Egghead.io - Introduction to Reactive Programming.
(by @andrestaltz)
If you prefer to watch video tutorials with live-coding, then check out this series I recorded with the same contents as in this article: Egghead.io - Introduction to Reactive Programming.
/** | |
* <b>Fixed Point Combinator is:</b> | |
* Y = 位f.(位x.f (x x)) (位x.f (x x)) | |
* | |
* <b>Proof of correctness:</b> | |
* Y g = (位f . (位x . f (x x)) (位x . f (x x))) g (by definition of Y) | |
* = (位x . g (x x)) (位x . g (x x)) (尾-reduction of 位f: applied main function to g) | |
* = (位y . g (y y)) (位x . g (x x)) (伪-conversion: renamed bound variable) | |
* = g ((位x . g (x x)) (位x . g (x x))) (尾-reduction of 位y: applied left function to right function) | |
* = g (Y g) (by second equality) [1] |
;;; https://lists.ourproject.org/pipermail/implementations-list/2012-February/001513.html | |
(add-to-list 'load-path "~/programmingStuff/evil/") | |
(require 'evil) | |
;; remove all keybindings from insert-state keymap | |
(setcdr evil-insert-state-map nil) | |
;; but [escape] should switch back to normal state | |
(define-key evil-insert-state-map [escape] 'evil-normal-state) | |
(define-key evil-insert-state-map (kbd "jk") 'evil-normal-state) | |
(define-key evil-insert-state-map (kbd "jj") 'insert-jay) |
Use it with KindleGen
kindlegen dic.opf