Useful Resources

Following is a (very short) list of useful things I have found on the internet.

bash redirections cheat sheet

A very good overview of bash redirection operators with usage examples. I was surprisingly thrilled to read this.

A tutorial implementation of a dependently typed lambda calculus

An introduction to dependent type checkers targeted toward functional programmers.