@@ -32,6 +32,7 @@ ___
## [Reading Stack](backlog.md)
- [Post-quantum cryptography](https://www.nature.com/articles/nature23461)
+- https://bartoszmilewski.com/2015/03/13/function-types/
## [Mathematics and Theoretical Computer Science](mathematics.md)
