Codex and Pen.el for writing Haskell

Summary I demonstrate some of the capabilities of Pen.el with Codex for assisting in writing Haskell. Some key bindings 1 2 3 4 5 6 7 8 9 (define-key pen-map (kbd "H-^") 'pen-transform) (define-key pen-map (kbd "H-p ^") 'pen-transform) (define-key pen-map (kbd "H-p t") 'pen-transform) (define-key pen-map (kbd "H-p i") 'pen-insert-snippet-from-lm) (define-key pen-map (kbd "H-p l") 'pf-explain-some-code/2) (define-key pen-map (kbd "H-p e") 'pf-get-an-example-of-the-usage-of-a-function/2) (define-...

Submit