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

Index - !

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