3 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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