Heinrich Apfelmus

Better support for wrapping Haskell modules via `postulate`

2

## Problem statement The mission statement of Adga2hs is to carve out a sublanguage of Agda that translates directly to Haskell, so that we can prove properties about Haskell-in-Agda programs...

Haskell-in-Agda: Agda propositions (e.g. `x ≡ y`) versus Haskell predicates (e.g. `(x == y) ≡ True`)

4

Hello! I have two observations / questions about what should go into the Haskell-in-Agda embedding, i.e. the `Haskell.Prelude`. Unfortunately, they are not fully well-posed. For lack of a better place,...

`bech32` 1.1.4.1 has incorrect version bounds

1

The package `bech32-1.1.4.1` has incorrect version bounds — it requires `optparse-applicative (>=0.18.1.0 &&