Jaime Arias Almeida

Hi, when I run `git-quick-stats -L` I receive ``` date: illegal option -- d usage: date [-jnRu] [-I[date|hours|minutes|seconds]] [-f input_fmt] [-r filename|seconds] [-v[+|-]val[y|m|w|d|H|M|S]] [[[[mm]dd]HH]MM[[cc]yy][.SS] | new_date] [+output_fmt] ``` It's related...

[Info] Change template for index.html

4

Hello, I would like to change the template only for the index.html. There is a way to do that ? Thank you in advance !

Couldn't match type ‘Double’ with ‘Foreign.C.Types.CDouble’

4

Hi, I tried to build the library but I got this problem: [14 of 44] Compiling Graphics.Proc.Core.GLBridge ( src/Graphics/Proc/Core/GLBridge.hs, dist/build/Graphics/Proc/Core/GLBridge.o ) src/Graphics/Proc/Core/GLBridge.hs:55:10: Couldn't match type ‘Double’ with ‘Foreign.C.Types.CDouble’ Expected type:...

The syntax of unused functions is not checked

1

### Description When a function is not used, its syntax is not checked. It is tested in the benchmark 30 ### Reproduce ``` ./bin/imitator -mode checksyntax tests/testcases/functions/unused-function-invalid-syntax.imi ``` The file...

Hi!, thank you for this theme :) I was wondering if it's possible to change the theme of code blocks? I tried with the following snippet but it more or...