-
Jacques-Henri Jourdan authored
Fixpoint type. There are still a few TODO for the non-expansiveness of sums, products and functions.
Jacques-Henri Jourdan authoredFixpoint type. There are still a few TODO for the non-expansiveness of sums, products and functions.
