A categorical programming language
Allow pairing of domains. I'm so pissed that I couldn't do this in a nice generic fashion. This works, but it's ugly and verbose.
Fork