Matthias Fischmann

Some non-ascii unicode chars are not case-folded correctly.

3

```haskell import qualified Data.CaseInsensitive as CI import qualified Data.Char as Char main :: IO () main = do print ((Char.toLower ("\5042" :: String)) == "\43906") print ((CI.foldCase (CI.mk ("\5042" ::...

Allow effects in post-conditions?

9

I want to express as a post-condition that the state (say, the actual database) and the model (a pure value keeping track of some data in the database) are still...

instance {From,To}Field Bool

2

I noticed that Bool doesn't have field instances, and propose to add these. This PR contains all I need for now, but I'll ramble on a little about alternatives just...

Can't sync with my default phone book.

6

I have installed the app, and it doesn't find the contacts I already have on my phone. I can only create empty address books, syncrhonise them, count entries (0), and...

After adding a rather innocent entry on my phone, decsync choked. I got the "decsync stopped" popup a few times over the course of a few days, and when trying...

importing a vcf record from two files is weird

2

I have two overlapping vcf files with two versions of my address book. I've imported both via file import to the decsync-controlled account. ### expected behavior - duplicates should either...

https://wearezeta.atlassian.net/browse/SQSERVICES-1687 ## Checklist - [ ] The **PR Title** explains the impact of the change. - [ ] The **PR description** provides context as to why the change should occur...

https://wearezeta.atlassian.net/browse/BIS-44 ## Checklist - [ ] The **PR Title** explains the impact of the change. - [ ] The **PR description** provides context as to why the change should occur...

https://wearezeta.atlassian.net/browse/SQSERVICES-1625 ## Checklist - [ ] The **PR Title** explains the impact of the change. - [ ] The **PR description** provides context as to why the change should occur...

Start coding style guide.

11

I'm starting this in the hope that people will like it. It's a bit like ormolu: annoying at times, but it will free so much energy that currently goes into...