agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Consider moving sequences into `lists` package

Open lowasser opened this issue 6 months ago • 0 comments

Since finite-sequences are there now, it might make sense, though I suppose lists currently only contains finite structures.

lowasser avatar Jun 03 '25 21:06 lowasser