Jekyll Search Solutions
Updates
Recent Posts
Recursive Programs
Partial Functions
Parametricity - Logical Equivalence for Polymorphic Types
Hereditary Termination and Logical Equivalence Recap
Polymorphic Functional Programming
An example to start off
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