Sign in or Join FriendFeed
FriendFeed is the easiest way to share online. Learn more »
Lindsey Kuper
"Efficient representations for triangular substitutions: A comparison in miniKanren" - http://lindseykuper.livejournal.com/324040...