Welcome to Allen’s Corner of the World! This is where I share anything I find interesting, including topics like logic, paradoxes, functional or logic programming, proof assistants, and maybe some philosophy.
If you want to reach me, you can send me an email or find me on GitHub .
Pages
- My Notes – My notes on various topics, including logic systems, computabiltiy, programming languages, etc.