Simplify lock file - Githubissues

turion commented 1 year ago

I removed some duplicate inputs.

turion commented 1 year ago

If we merge this, we can close #207.

turion commented 1 year ago

This PR introduces a lot of formatting changes which may make rebasing harder. To rebase after this is merged, one should probably do the following:

Rebase onto a commit directly before this, manually resolving further conflicts
- git rebase e1408795f3923c4eff81373d9e6fce47632bc038
Rebase onto the ormolu commit from this PR, automatically resolving conflicts and applying formatting
- git rebase 9605aa02a1b92b6d5d725db3129d74a60d45798f -X theirs --exec 'ormolu -i $(git ls-files "*.hs"); git commit -a --amend --no-edit'
Rebase onto master
- git rebase origin/master

tweag / monad-bayes