Similar repositories to manugunther/agda-universal-algebra: