Jan Troler
Results
1
issues of
Jan Troler
Hello Jan, I'm trying to build your game on nixos2009 and I get the following errors: ``` [nix-shell:~/github.com/game-idris]$ idris --build game.ipkg Entering directory `./src' Type checking ./Descriptions/ObjectDescription/RenderDescription.idr ./Descriptions/ObjectDescription/RenderDescription.idr:17:21-21:44: | 17...