Idris2Doc : Data.Primitives.Views

Data.Primitives.Views