diff options
| author | stuebinm | 2021-05-22 01:41:01 +0200 |
|---|---|---|
| committer | stuebinm | 2021-05-22 01:45:19 +0200 |
| commit | 855acf6b984855646119551b39bffb4cf169dc40 (patch) | |
| tree | d48a5488783e3d69f443c04f06ede76af0a01f0e /isabelle-nix-fhsenv/default.nix | |
| parent | d9ee055fb5ee77d3130372be29256878a06e2b93 (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 'isabelle-nix-fhsenv/default.nix')
0 files changed, 0 insertions, 0 deletions