arend-lib icon indicating copy to clipboard operation
arend-lib copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Add Data.Maybe

Open Primetalk opened this issue 5 years ago • 3 comments

Primetalk avatar Feb 14 '20 20:02 Primetalk

This is a mathematical library, not sure how Maybe is going to be used. We may have another programming library

ice1000 avatar Feb 15 '20 01:02 ice1000

Maybe may be useful, but it will require some additional lemmas about its relationship with non-decidable subtypes. Anyway, we're adding constructions as they're needed.

Also, in our code style, constructor names begin with lower case letters.

valis avatar Feb 15 '20 01:02 valis

Turns out this is very useful in writing some solvers. Can we merge this?

ice1000 avatar Aug 02 '20 17:08 ice1000