Commit graph

2 commits

Author SHA1 Message Date
Andrei Bondarenko
4c802a6a03 Refactored some names again 2021-08-12 11:11:59 +02:00
Andrei Bondarenko
2264a8b02d Implemented LTM_bottom^(0) 2021-08-12 10:07:41 +02:00