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" +