@@ -8,9 +8,9 @@ description:
88 a semi-isomorphism instead of function. A semi-isomorphism is a isomorphism that can fail in both directions, with slightly
99 weakened laws. It is worth to note that @Iso@s and @Prism@s from 'lens' are valid semi-isomorphisms :)
1010 .
11− Once you write a description you can, for example turn it into an Attoparsec parser.
11+ Once you write a description you can, for example turn it into an Attoparsec parser, or into a 'Data.Syntax.Printer.Text.Printer'.
1212 .
13− See @syntax-example@ and @syntax-example-json@ for examples, 'syntax-attoparsec' and 'syntax-pretty' for a parser/printer implementation.
13+ See @syntax-example@ and @syntax-example-json@ for examples, @syntax-attoparsec@ and @syntax-printer@ for a parser/printer implementation.
1414 .
1515 The library was inspired by:
1616 .
@@ -18,9 +18,7 @@ description:
1818 .
1919 TODO:
2020 .
21− * A printer library based on Text/ByteString builders (wrapping 'pretty' is inefficient and doesn't use any features of it).
22− .
23− * Research relative monads and relative monad transformers. Indent is basically a Reader monad over a syntax. How would a State monad look?
21+ * Research relative monads and relative monad transformers. Indent is basically a Reader monad over a syntax. How would a State monad look?
2422 .
2523 * Try to implement Haskell layout rule.
2624 .
@@ -28,7 +26,7 @@ description:
2826 .
2927 * Better error messages.
3028 .
31− * Maybe an implementation of do notation for SemiIsoMonad with QuasiQuoters.
29+ * Maybe an implementation of do notation for SemiIsoMonad with QuasiQuoters, like the codo notation for comonads.
3230
3331license: MIT
3432license-file: LICENSE