Syntactic Unification Is Easy!
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 Git
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.