Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
Temporary Code Dump
Source code from the book 'Elements of Programming'
Forked from webyrd/TAPL-in-miniKanren-cKanren-core.logic
Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic
Forked from videlalvaro/gifsockets
Real Time communication library using Animated Gifs as a transport™