longboi: Dependently-typed linked list implementation

[ data, library, mit ] [ Propose Tags ]

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

[Skip to Readme]
Versions [faq] 1.0.0
Dependencies base (>=4.9 && <5.0) [details]
License MIT
Author Daniel Cartwright
Maintainer dcartwright@layer3com.com
Category Data
Home page https://github.com/chessai/longboi
Bug tracker https://github.com/chessai/longboi/issues
Source repo head: git clone https://github.com/chessai/longboi.git -b master
Uploaded by chessai at 2018-01-16T19:17:38Z
Distributions NixOS:1.0.0
Downloads 572 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2018-01-16 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees

Readme for longboi-1.0.0

[back to package description]


Hackage License

longboi exposes the Longboi data type and functions related to Longboi. A Longboi is a simple implementation of a dependently-typed linked list, i.e. a vector parameterised by its length.