Tags · Nicola Botta / IdrisLibs2 · GitLab

Tags give the ability to mark specific points in history as being important

v1.1.0

6f9c420e · Cleanup. · Aug 05, 2022

Release D6.2

Download source code

zip tar.gz tar.bz2 tar
v1.0.0

d19e084a · Added verified setInTo function modifier. · Feb 15, 2021

Release First release

Download source code

zip tar.gz tar.bz2 tar