emdash

Results 31 comments of emdash

I would much rather write `["foo" := "bar"]`, or `["foo" => "bar"]` than `fromList $ [("foo", "bar")]`. See [this example](https://github.com/kuribas/idris-records) of a library that might benefit from a more concise...