Posts

• Jul 25, 2024

  Spell Check in SML?

• Jul 17, 2024

  Software Design Crisis

• Jul 4, 2024

  A Type of Problem

• Jun 22, 2024

  Getting Idris2 Setup on Windows 10

• Jun 21, 2024

  Lecture 2: Semantics and Proof Pt 1

• May 1, 2020

  Lecture 1: Formal Languages

• Apr 27, 2020

  My First Post

subscribe via RSS