From 34f87bee5e3a24e875b75fb9568a85e6f9400781 Mon Sep 17 00:00:00 2001 From: Flancian <0@flancia.org> Date: Tue, 6 Apr 2021 12:22:12 +0200 Subject: [PATCH] Auto: misc. --- journal/2021-04-06.md | 1 + lambda-calculus.md | 11 +++++++++++ neovim.md | 2 +- 3 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 lambda-calculus.md diff --git a/journal/2021-04-06.md b/journal/2021-04-06.md index c28d4ad15..07c70b86a 100644 --- a/journal/2021-04-06.md +++ b/journal/2021-04-06.md @@ -1,5 +1,6 @@ # Tuesday, April 6, 2021 +- [[lambda calculus]] - [[the little schemer]] - [[i ching lite]] - [[neovim]] \ No newline at end of file diff --git a/lambda-calculus.md b/lambda-calculus.md new file mode 100644 index 000000000..73ca624bd --- /dev/null +++ b/lambda-calculus.md @@ -0,0 +1,11 @@ +# lambda calculus + +- [[danlistensto]] recommended [[the-little-schemer]] +- [[karlicoss]] recommended [[selinger]]: arxiv.org/abs/0804.3434 + - also http://www1.cs.columbia.edu/~sedwards/classes/2008/w4115-fall/functional.pdf +- [[rodrigo-baraglia]] recommended the first chapter of [[haskell from first principles]] + +https://twitter.com/flancian/status/1379069865672245251 +https://twitter.com/encincovoy/status/1379074318710280201 +https://twitter.com/karlicoss/status/1379071209153904640 + diff --git a/neovim.md b/neovim.md index 9caf94660..83272cde8 100644 --- a/neovim.md +++ b/neovim.md @@ -1,7 +1,7 @@ # neovim - [[pull]] [[nvim]] -- Put this in ~/.config/nvim/init.vim for vim compatibility: +- Put this in ~/.config/nvim/init.vim for [[vim]] compatibility: ``` set runtimepath^=~/.vim runtimepath+=~/.vim/after