Agda-2.6.1.3: A dependently typed functional programming language and proof assistant

Index - !

!Agda.Utils.Bag
!!!Agda.Utils.List