JOSS Papers: by Shu-Hung You

All Papers
4068
 Published Papers
3631
 Active Papers
437
published Published 7 months ago

The Agda standard library: version 2.0

Haskell Agda
@MatthewDaggitt
10.21105/joss.09241
Displaying 1 paper

Journal of Open Source Software is an affiliate of the Open Source Initiative.

Journal of Open Source Software is part of Open Journals, which is a NumFOCUS-sponsored project.

Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066