Haz
This small patch adds a new theming keyword: `[not]dim`, and equips vis to handle it in both the curses backend and the hand rolled vt-100 backend
with `STYLE_DEFAULT = 'fore:,back:'`, `STYLE_SELECTION` would not apply unless explicitly specified: `STYLE_SELECTION = 'reverse'` would not take its expected effect, but `STYLE_SELECTION = 'fore:,back:'` works
I've gone through the theming wiki page and default theme to try and extract this bit of info but failed without actually experimenting with combinations of theme definitions myself. Would...
```txt pattern0 pattern1 pattern2 ``` select some pattern with `:x/pattern[0-3]/` modify it in a generic way with `:c/modified-&/` the result is: ```txt modified-pattern0 modified-pattern0 modified-pattern0 ``` instead of the original...
this is more of a ux thing than an actual bug, but it made me think the image scanning mode wasn't working. when a user scans a code via the...
the [produced APK](../releases/download/v2.4.0/koka-v2.4.0-alpine-x64.apk) is installable on Alpine but cannot be unpacked: ``` $ tar xzf pkg.apk tar: This does not look like a tar archive tar: Skipping to next header...
the problem: main can only be defined as fun, not val with a first-class function binding ```koka fun test () -> println("test") // this works fun main() -> test() //...
Added 4.13.1, 4.14.0, and multicore, all with flambda variants notes: - 5.0 is still alpha release, the github url points to 5.0 and I believe that branch will continue getting...
Hello, I've been playing with proofs that require function extensionality and came across this strange behaviour on the `:t` command: on `0.5.1-9ce990e81` ```idr record St s a where constructor Mks...
Hi, first time contributing.. I found this while reading the docs. The example still doesn't work without pattern matching on `n` too: ```idr uninterleave : {n : Nat} -> Vect...