Nicolas Biri (d4ba8970) at 12 May 09:07
add license and copyright
Nicolas Biri (d1e65a82) at 11 May 18:33
Nicolas Biri (948a47af) at 11 May 18:33
Merge branch 'revisions' into 'main'
... and 15 more commits
Nicolas Biri (661f8e33) at 11 May 18:28
Nicolas Biri (e6bf3d46) at 24 Nov 07:36
Remove duplicated explanation for Var
... and 2 more commits
Nicolas Biri (4d102a37) at 22 Nov 20:42
clean template for acm and fix typos
Nicolas Biri (e84965fe) at 19 Nov 10:08
Improve explatations of the Idris code to include Will feedback
Nicolas Biri (8a9abf6e) at 18 Nov 18:39
use natbib for references generation
Configure SAST in .gitlab-ci.yml
using the GitLab managed template. You can add variable overrides to customize SAST settings.
Configure SAST in .gitlab-ci.yml
using the GitLab managed template. You can add variable overrides to customize SAST settings.
Nicolas Biri (661f8e33) at 16 Nov 10:15
Configure SAST in .gitlab-ci.yml
, creating this file if it does n...
Nicolas Biri (5651e2ff) at 16 Nov 10:15
Nicolas Biri (69b5b5ba) at 15 Nov 13:09
Spelling, grammar and related works