Gavin Gray

```go package main pred Bar(i int) { i >= 0 } type I interface { pred Mem() requires acc(Mem(), _) pure Get() int requires Mem() requires Get() == v ensures...

The following code would fail to verify in Gobra: ```go package main import "fmt" type Op func(int, int) int func (o Op) Apply(a int, b int) int { return o(a,...

Carousel doesn't work, or ambiguous syntax

6

Trying to use a carousel results in all children being shown at the same time. It's possible I've gotten the syntax wrong due to a lack of examples, in which...