Syntactic Unification Is Easy!2020-02-19
Last year I tried implementing syntactic unification and got completely stuck on the algorithms. Last week I read the MicroKanren paper and discovered that unification could be very simple. Let me show you how!
Hosting My Own Git2020-02-18
I don’t want to have to use GitHub for all my personal projects while they still support ICE, so I figure out how to do my own hosting.