Commit Graph

3 Commits

Author SHA1 Message Date
Quentin De Coninck
8a234d870f rewrite topos to have inheritance 2020-07-13 09:55:59 +02:00
Quentin De Coninck
b5c9306284 continuing the code refactoring 2020-07-13 09:54:40 +02:00
Quentin De Coninck
bcd306b21d move topos in their own module 2020-07-13 09:54:40 +02:00