Jan Mas Rovira

In [haddock-library,](https://hackage.haskell.org/package/haddock-library) the module [Documentation.Haddock.Parser](https://hackage.haskell.org/package/haddock-library-1.10.0/docs/Documentation-Haddock-Parser.html) exports `parseString` but does not export `parseText`. I think it would make much more sense to export both.

Currently the inference effect is run locally on each function definition. A consequence of this is that the following cannot be inferred: ```agda module M; inductive Bool { false :...

Replace `FilePath` by `OsPath`

1

We are currently using the library [`filepath-1.4.2.2`](https://www.stackage.org/nightly-2022-07-16/package/filepath-1.4.2.2). In this version, the library offers its API for the type [`Filepath`](https://www.stackage.org/haddock/nightly-2022-07-16/base-4.16.2.0/src/GHC-IO.html#FilePath): ``` type FilePath = String ``` We are all aware of...

closes #1516. This pr adds letrec lifting to the lambda lifting transformation. It also adds the flags `--eval` and `no-print` to the `juvix dev core read` command.

Closes #1481.

Support aeson 2.1.*

1

Any plans to support newer versions of aeson?