lib-nested/lib-nested-core/src
2024-09-02 00:09:28 +02:00
..
edit_tree add notes, formatting, shallow simplifications 2024-03-10 14:04:08 +01:00
editors add morphisms to create edittree from/to digit/char and generic lists 2024-09-02 00:09:28 +02:00
repr_tree add more types to detach 2024-08-23 13:57:10 +02:00
utils remove bimap (no longer needed since it is in lib-laddertypes now) 2023-11-26 22:16:54 +01:00
lib.rs int example & testing out more int projections 2024-05-25 00:39:47 +02:00