Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 8b805be9d3 Add a map from natural numbers for use as a lattice transformer Danila Fedorin 2023-04-04 21:08:41 -0700
• 27eeead350 Add typeclasses for (semi)lattices and order Danila Fedorin 2023-04-04 21:08:31 -0700