Closed chacham closed 2 years ago
Hello @chacham and welcome to our community!
Thanks for these edits. I have will have a look :)
Your changes look good, so I am merging them.
They will appear in the website the next time we build and deploy (could be a bit, since its a manual process).
I agree the documentation could use some more detail; we will work on that.
Fix #67
MultiSelect
for fixpoint select part uses,
as seperatorPartialOrder
tolessEqual
frompartialCompare
.instance Boxable[Sign]
line is neededIt seems that the description should be modified as well by modifying the code. But since English is not my native language, it is a little difficult. Please help.
And there are some ignored whitespace which are reducing readability, so I added
s, and it looks ugly to me. ㅠ_ㅠ