Polymorphic Functional Programming
An example to start off
Recent Posts
In Searching Counter Examples for Ramsey Number
This is a project I did in my undergrad, so I might forget some of the details. Also some of the design choices might seen stupid for now, but I am writing t...
Python Global Interpreter Lock (GIL)
Introduction
Introduction to Category Theory
We can think of category theory as a generalized set theory, where in set theory we have sets and $\in$, but in category theory we have objects and arrows, w...
Equational Reasoning
The main question is, how do we define two programs are equal, and how do we prove it.
Basic Computational Type Theory
Family of Types