Leonardo de Moura
|
c6b3ebdd85
|
feat: detect trivial structures and add extension for storing mono phase types
|
2022-10-05 08:55:44 -07:00 |
|
Leonardo de Moura
|
6288181656
|
chore: fix test
|
2022-10-05 05:01:42 -07:00 |
|
Leonardo de Moura
|
190a1331bd
|
feat: add toMonoType
|
2022-10-01 20:44:31 -07:00 |
|
Leonardo de Moura
|
a2bcb3b73e
|
fix: erase propositon formers, add isErasedCompatible, remove approx. from compatibleTypes
|
2022-09-21 20:47:02 -07:00 |
|
Leonardo de Moura
|
d61b8fc68d
|
test: for LCNF types
|
2022-08-10 11:07:13 -07:00 |
|