@hackage longboi1.0.0

Dependently-typed linked list implementation

Categories
License
MIT
Maintainer
chessai1996@gmail.com
Links
Versions
- 1.0.0 Tue, 17 Oct 2023

Installation
In your cabal file:
Tested Compilers
- 8.2.2
Dependencies (1)
- base >=4.9 && <5.0
Dependents (1)
@hackage/acme-everything

Length-indexed linked lists, a simple exercise in dependent types.