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

Index - !

!Agda.Utils.Bag
!! 
1 (Function)Agda.Utils.List1
2 (Function)Agda.Utils.List
!!!Agda.Utils.List