HomeIsabelle/Phabricator

more work on liminf llist library