playground/minikanren, branch master place for smaller experiments which may or may not grow into larger things pretty printing formulae for sequence calculus 2021-05-21T23:45:19+00:00 stuebinm 2021-05-21T23:41:01+00:00 855acf6b984855646119551b39bffb4cf169dc40 problem: minikanren may return a set of constraints, which aren't very obvious for how to pretty-print them (currently they're just displayed as an empty []). 
problem: minikanren may return a set of constraints, which aren't very
obvious for how to pretty-print them (currently they're just displayed
as an empty []).
Sequence calculus in miniKanren 2021-05-19T19:10:24+00:00 stuebinm 2021-05-19T19:04:44+00:00 d9ee055fb5ee77d3130372be29256878a06e2b93 barfing out tautologies for free! 
barfing out tautologies for free!