From f70a941be36a3d7e6692720a8153a14e8bbdce6f Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Mon, 15 Aug 2022 17:33:34 -0700 Subject: [PATCH] A good talk. --- docs/misc/neat-talk.txt | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 docs/misc/neat-talk.txt diff --git a/docs/misc/neat-talk.txt b/docs/misc/neat-talk.txt new file mode 100644 index 0000000..c286e9c --- /dev/null +++ b/docs/misc/neat-talk.txt @@ -0,0 +1,9 @@ +https://www.youtube.com/watch?v=_IgqJr8jG8M + +Concatenative Programming: From Ivory to Metal + +Great talk from Jon Purdy in 2017, he wrote Kitten. + +"Complete and Easy Bidirectional Typechecking +for Higher-Rank Polymorphism" +