Commit graph

Select branches

Hide pull requests

main

Mono Color

• fe0f8a6744
  
  minor main Leon Vatthauer 2024-04-30 12:31:24 +0200
• 01ebc0a315
  
  more changes Leon Vatthauer 2024-04-24 12:46:02 +0200
• 344477f21d
  
  removed agdai, add nix, add exercises Leon Vatthauer 2024-04-11 12:21:15 +0100
• 89c3877933
  
  initial commit, some work done Leon Vatthauer 2024-04-10 17:11:47 +0100