Libraries and packages for development in idris 2
My dotfiles and configuration
Bridging the idris2-pack and nix ecosystems
Model soruce files for the stranger systems collection
General libraries for Idris 2
cd11a19 fix: Don't use where on forward data declarations
~thatonelutenist pushed to ~thatonelutenist/Structures git
67a2acc style: Reformat markdown
~thatonelutenist pushed to ~thatonelutenist/Structures git
67a2acc style: Reformat markdown
~thatonelutenist pushed to ~thatonelutenist/Structures git
a2d6a95 feat: add DList and PList structures
~thatonelutenist pushed to ~thatonelutenist/Structures git
6816a3a test: DList smoke tests
~thatonelutenist pushed to ~thatonelutenist/Structures git
0926c31 feat: Add freshlists
~thatonelutenist pushed to ~thatonelutenist/Structures git
0926c31 feat: Add freshlists
~thatonelutenist pushed to ~thatonelutenist/Structures git
12b095e feat: Add freshlists
~thatonelutenist pushed to ~thatonelutenist/Structures git
761ae66 feat: Add freshlists
~thatonelutenist pushed to ~thatonelutenist/Structures git
75bbe38 doc: Add todo list
~thatonelutenist pushed to ~thatonelutenist/Structures git
7955c19 doc: Add todo list
~thatonelutenist pushed to ~thatonelutenist/Structures git
80a48e3 feat: Priority queues
~thatonelutenist pushed to ~thatonelutenist/Structures git
9ae8609 feat: Priority queues
~thatonelutenist pushed to ~thatonelutenist/Structures git
0bef547 Swap contributing and license
~thatonelutenist pushed to ~thatonelutenist/idris2-readme git
9eef897 Touchup
~thatonelutenist pushed to ~thatonelutenist/idris2-readme git