summaryrefslogtreecommitdiff
path: root/age-wasm/src/utils.rs
diff options
context:
space:
mode:
authorstuebinm2021-05-22 01:41:01 +0200
committerstuebinm2021-05-22 01:45:19 +0200
commit855acf6b984855646119551b39bffb4cf169dc40 (patch)
treed48a5488783e3d69f443c04f06ede76af0a01f0e /age-wasm/src/utils.rs
parentd9ee055fb5ee77d3130372be29256878a06e2b93 (diff)
pretty printing formulae for sequence calculus
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 []).
Diffstat (limited to 'age-wasm/src/utils.rs')
0 files changed, 0 insertions, 0 deletions