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

Index - !

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