GitHub repository: HeinrichApfelmus/bags
Primary language: Agda
Created: 2025-05-01T16:17:17Z
Description: Bags, indexing and relational databases