Frederik Batuna

managed to make it work installed idris2 and syntastic with pathogen inside `~/.vim/bundle/idris2/syntax_checkers/idris2/idris2.vim` https://github.com/edwinb/idris2-vim/blob/099129e08c89d9526ad092b7980afa355ddaa24c/syntax_checkers/idris2/idris2.vim#L26 changed to ```vim function! SyntaxCheckers_idris2_idris2_GetLocList() dict ``` in vimrc ```vim let g:syntastic_idris_checkers = ['idris'] let g:syntastic_idris2_checkers...

git init -> error: unable to write symref for HEAD: Function not implemented

3

**Describe the bug** Cannot create a git repositroy inside ~/Hyperdrive **To Reproduce** - `npm install -g hyperdrive daemon` -> `+ [email protected]` - `hyperdrive --version` -> `hyperdrive-daemon/1.14.3 linux-x64 node-v14.2.0` - `hyperdrive...

1. Updating version because old links broken. 2. add git and mercurial 3. disable indexing on pull (this because in current dir may contain not versioned files, ex: git --work-tree=./opengrok/volume...

[ doc ] Add Windows WSL usage

6

# Description Add step by step instruction to use Idris 2 on windows easily.

EBADF bad file descriptor

6

### Describe the bug It seems that not all file system primitives are implemented. I get this error: ``` [Error [EBADF]: EBADF: bad file descriptor, read] { syscall: 'read', errno:...

# Steps to Reproduce - Idris 2, version 0.7.0-e02ebcab6 (installed with [pack](https://github.com/stefan-hoeck/idris2-pack)) - clone https://github.com/freddi301/idris-2-ui/tree/6f70fc6c7dbbe1790a1488d68dd334b53c892764 - run `watch-build .sh` - mistype any named parameter in `style = s{ grw =...

ch: [PE-617] Change labels in CGN Partner detail screen

2

## Short description Change labels in CGN Partner detail screen ## List of changes proposed in this pull request Refer to [PE-617](https://pagopa.atlassian.net/browse/PE-617) related figma, green circles identify the requested changes...

ch: [PE-615] Change labels in CGN card detail screen

1

## Short description Change labels in CGN card detail screen ## List of changes proposed in this pull request Refer to [PE-615](https://pagopa.atlassian.net/browse/PE-615) related figma, green circles identify the requested changes...

Question: Accessibility

2

Hi, this component is exactly what I need. But is it accessible?

# Steps to Reproduce ```Idris %macro getTTImp : v -> Elab TTImp getTTImp v = quote v u1 = getFC $ getTTImp ('a' == 'b') -- this has physicalIdrSrc u2...