GitHub repository: stefan-hoeck/idris2-containers
Created: 2023-10-27T03:13:20Z
Description: Assorted concrete container types