4 commits

Author	SHA1	Message	Date
Leon Vatthauer	68588c6b82	update flake	2024-02-04 17:54:49 +01:00
Leon Vatthauer	78260e3f91	refactor to support newest agda-categories release	2024-01-29 18:15:06 +01:00
Leon Vatthauer	6ba246ee53	updated library versions	2024-01-24 15:22:54 +01:00
Leon Vatthauer	be0971ae42	Fixed folder structure	2023-12-05 18:07:06 +01:00

Renamed from src/flake.lock (Browse further)