diff options
author | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-03-02 13:22:27 +0100 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-04-13 14:09:19 +0200 |
commit | 9ab85ef978c78edb3e4e5ec97ec93a970f021fc2 (patch) | |
tree | 3e6451b47b36071596d8589a48206879367dc44b /kernel | |
parent | f3b84cf63c242623bdcccd30c536e55983971da5 (diff) |
universe minimization: cleanup using standard combinators, open Univ
eg Constraint.partition + filter instead of a complicated fold.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions