Commit graph

Select branches

Hide pull requests

main

Mono Color

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