Jan Troler

Hello, I tried to build the crypto package but no luck. What are the performance issues with Fin / Vect / etc. Is it solvable? Thanks.

I came across similar issue and created a module, is it worth merging it?: ``` idris module Text.SvgNode import Data.List.TR --mapTR import Data.String namespace SvgXml public export data ElementType :...

[nix-shell:~/github.com/game-idris]$ idris --version 1.3.3-git:PRE

Using shell.nix as follows: ``` { pkgs ? import {} }: with pkgs; let idris_sdl2 = pkgs.idrisPackages.build-idris-package rec { name = "idris_sdl2"; version = "v4"; ipkgName = "sdl2"; idrisDeps =...

Using verson by @clayrat , i'm getting the followig error with idris 1.3.2 , any idea? ``` Entering directory `./src'` Type checking ./Data/Profunctor/Traversal/Index.idr ./Data/Profunctor/Traversal/Index.idr:17:1-34: | 17 | Wander p =>...