The Agda standard library has been published in the Journal of Open Source Software. Congratulations to Matthew Daggitt, @gallais , James McKinna, Andreas Abel, @Taneb , @mudri , Ulf Norell, @oisdk, Sergei Meshveliani, Sandro Stucki, @JacquesC2, Alex Rice, Jason Hu, Li-yao Xia, Shu-Hung You, @totbwf and @wen !
joss.theoj.org/papers/10.21105/joss.09241
#Agda #ITP #DependentTypes #JOSS #OSS