5 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Leon Vatthauer	47477cd801	sync	2024-02-16 14:37:24 +01:00
Leon Vatthauer	c521bf635a	added comments	2023-07-15 12:29:26 +02:00
Leon Vatthauer	f2cccdbdf0	Merge branch 'main' of github.com:Reijix/agda-extensionSystem	2023-07-15 12:23:56 +02:00
Leon Vatthauer	3be0235c71	Initial commit	2023-07-15 12:20:38 +02:00
Leon Vatthauer	484599bb01	initial commit	2023-07-15 12:19:40 +02:00