GitHub repository: steshaw/plt-study
Description: A path to Programming Language Theory enlightenment