Skip to content

Fix #31

Teo Camarasu requested to merge teo/head.hackage:locale into master

This works by setting the LANG env var, which ensures that happy understands that files are UTF-8. It also removes the related workaround for Agda

Merge request reports