Andreas Abel

Would be great to have the banana brackets in KaTeX!

I made a hackage revision to allow random-1.3.

> [@andreasabel](https://github.com/andreasabel) Thanks! Will the Hackage revision also take care of Stackage or should we do a new release? That will do, no new release needed!

Agda dev meeting 2024-12-11: new proposal needed. At least this should work: ``` if_then_else_ : {A : Set} -> Bool -> A -> A -> A if {A = Nat}...

Maybe it makes sense for `abstract`, which is kind of trying to prevent any information about the abstract thing to leak (but no one uses it for that purpose). If...

The OP could probably be fixed by declaring `MyList : ++Set -> Set` after merging: - #6385

@gallais: Your example (emptiness check) is working-as-intended, as `\bot` is essentially a postulate unless explicitly unfolded.

Well, I could merge it, but I could not retrieve evidence of its correctness: The affected test case `stm055` is not contained in the cabal-runnable testsuite `testsuite/`. Instead it is...

Published as blaze-html-0.9.2.0 revision 1.

I updated this PR again. @jaspervdj Can this be merged?