These are the study notes for Software Foundations, covering the learning material of Rocq, Hoare Logic, IMP and etc.

These are study notes for Introduction to Computation A (Experimental Class), which record Monads and related content in Haskell.