Two-factor authentication is available. Set it up at https://gitlab.pik-potsdam.de/profile/account

I

IdrisLibs

Idris application-independent libraries. These are extensions of prelude and base Idris libraries, mainly motivated by the development of https://github.com/nicolabotta/SeqDecProbs.