with-utf8 VS ihp

Invalid byte sequence sounds like a locale issue (see this blog post).

The real fix will happen when Data.Text moves from UTF-16 to UTF-8:

https://discourse.haskell.org/t/hf-tech-proposal-1-utf-8-enc...

Fortunately this proposal has been accepted, but I don't know the timeline for its implementation in GHC.

Until then, working with UTF-8 is kind of convoluted

https://serokell.io/blog/haskell-with-utf8

Also: libraries need to be fixed to accept Data.Text instead of String. IsString helps (it's a typeclass that contains all string types) but only if APIs take it instead of defaulting to String. Adding random string conversions to cope with legacy APIs is very annoying.

Agda is written in Haskell, and the quoted error message is a common problem with applications written in Haskell. You probably have an environment variable like LC_CTYPE or LC_ALL which is set to an unusual value. I'd try setting LANG, LC_CTYPE and LC_ALL to en_US.utf8.

without this I get a build error (see here

I found IHP straightforward:

https://ihp.digitallyinduced.com/

despite not remembering much haskell!

This assumes you can get past nix for the install.

I find IHP well-designed. I just wish the licensing scheme were more transparent.

You can find the docs at https://ihp.digitallyinduced.com/ and some getting started videos at https://www.youtube.com/watch?v=PLl9Sjq6Nzc&list=PLenFm8BWuKlS0IaE31DmKB_PbkMLmwWmG

In case this got you interested in Haskell, and you want a good way to start your Haskell journey (and have something to apply the optimization handbook to), check out IHP. It's the Rails/Laravel of the Haskell world. You can start here https://ihp.digitallyinduced.com/Guide/index.html or check it out on GitHub here https://github.com/digitallyinduced/ihp

At IHP we've been using Algora for a while now and it works really great. Here's e.g. one PR that was merged last week with a bounty attached https://github.com/digitallyinduced/ihp/issues/1621 Everything was set up in less than 15 minutes and ioannis and zafer have been super helpful with any questions we had.

In general I think this is a good direction and an interesting take on the open question around sustainable open source. Congrats on the launch and keep up the great work! :)

You could contribute to IHP! We have some great docs to get started here https://github.com/digitallyinduced/ihp/blob/master/CONTRIBUTING.md And we have some low hanging fruits in GitHub issues for you to get started with, e.g. https://github.com/digitallyinduced/ihp/issues/1601 (also there's always lots of activity in the IHP Slack, in case you have any questions/need help)