This website requires JavaScript.
Explore
Help
Sign In
syntaxAlchemist
/
lib-nested
Watch
1
Star
0
Fork
You've already forked lib-nested
0
Code
Issues
Pull requests
Projects
Releases
Packages
Activity
7268ed9bc9
lib-nested
/
lib-nested-core
/
src
History
Michael Sippel
7268ed9bc9
morphisms to copy edittree from <List Digit> to <PosInt ..>
2024-09-02 00:09:28 +02:00
..
edit_tree
add notes, formatting, shallow simplifications
2024-03-10 14:04:08 +01:00
editors
morphisms to copy edittree from <List Digit> to <PosInt ..>
2024-09-02 00:09:28 +02:00
repr_tree
build repr tree
2024-09-02 00:09:28 +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