Victorious3 de417d3ee6 Remove inner type variables		2022-07-03 18:10:40 +02:00
..
main	Remove inner type variables	2022-07-03 18:10:40 +02:00
test	Filter out cycles and infima	2022-07-03 15:17:12 +02:00