Serge S. Gulin
Serge S. Gulin
As I see from the code Servant Auth does not support UVerb still. I would like to try implement this support if nobody has free time for that but I...
It is known that beam-migrate has some gaps in DDL implementation. For example this one: https://github.com/haskell-beam/beam/issues/502 But these features are important and due of complexity level of beam design it...
# Description We are going to take again a turn to solve [TODO](https://github.com/idris-lang/Idris2/pull/3151/files#diff-cf8968d49c872d0b0e8b7d8300722726d7ee15ab1780104b7799afa8f8c1009aR23), related to the usage of SnocList at Scope. This change is heavily intrusive and its older attempt...
Introduces the actual swap of `List` on `SnocList` for `Scope`. ## Should this change go in the CHANGELOG? - [ ] If this is a fix, user-facing change, a compiler...