Michael Sippel
|
4bf03c356d
|
wip refactor crates
|
2023-11-26 03:26:00 +01:00 |
|
Michael Sippel
|
6b2f8ee66f
|
use lib-laddertypes & remove old laddertypes implementation
|
2023-11-12 18:07:20 +01:00 |
|
Michael Sippel
|
153faf9c13
|
add get_subcursor()
|
2023-11-11 18:00:47 +01:00 |
|
Michael Sippel
|
2d46ac95bd
|
restructure TypeTerm
|
2023-08-12 19:03:14 +02:00 |
|
Michael Sippel
|
4b6cc1ee55
|
implement first typelader-compatibility algorithm
|
2023-02-27 21:31:19 +01:00 |
|
Michael Sippel
|
2bdea3e2a3
|
upgrade node with morphisms
|
2023-02-17 00:59:07 +01:00 |
|