Welcome to alsblog! I’m Allen, and 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 external link or find me on GitHub external link .

Pages

  • My Notes – My notes on various topics, including logic systems, computabiltiy, programming languages, etc.
  • My Courseworks – Github repositories of my courseworks.