Bridger Maxwell@bridgermax·Oct 16, 2014@andy_matuschak Do you know any UIs that let you do math and work like SICP's constraint solvers?1
Andy Matuschak@andy_matuschakReplying to @bridgermax@bridgermax Not UIs, just logic languages like Catalog…7:33 PM · Oct 16, 2014·Twitter for Mac
Ken Ferry@kongtomorrow·Oct 17, 2014@bridgermax @andy_matuschak (Andy probably got autocorrected from Datalog)1
