We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a0416cf commit 962b5a4Copy full SHA for 962b5a4
CHANGELOG.md
@@ -42,6 +42,9 @@ Minor improvements
42
* Moved the concept `Irrelevant` of irrelevance (h-proposition) from `Relation.Nullary`
43
to its own dedicated module `Relation.Nullary.Irrelevant`.
44
45
+* Provided the existing implementation of `IsString (List Char)` from
46
+ `Data.List.Literals` as an instance in `Data.List.Instances`.
47
+
48
Deprecated modules
49
------------------
50
0 commit comments