Commit graph

Select branches

Hide pull requests

main

Mono Color

• d641f65615
  
  minor main Leon Vatthauer 2024-02-16 14:33:29 +0100
• ac85887301
  Proof that in tosets every monad is strong (given a terminal object) Leon 2023-07-17 12:32:54 +0200
• fab399fb17
  
  Merge branch 'main' of github.com:Reijix/agda-poset Leon Vatthauer 2023-07-15 16:08:36 +0200
• ac004c0623
  
  Initial commit Leon Vatthauer 2023-07-15 16:08:13 +0200
• e1edc5ca1e
  Initial commit Leon Vatthauer 2023-07-15 16:07:28 +0200