summaryrefslogtreecommitdiff
path: root/dhall_core
diff options
context:
space:
mode:
authorNadrieril2019-04-19 23:31:39 +0200
committerNadrieril2019-04-19 23:31:39 +0200
commit110b8fb66c01f013e8b748b4e41645ab1c949639 (patch)
tree367f1aeefdffd4be82577b619c3e98b243bcc56f /dhall_core
parent4ae764a65cdca472ba67fce9f54b0f9de7510a1c (diff)
Implement boolean simplifications
Diffstat (limited to 'dhall_core')
0 files changed, 0 insertions, 0 deletions