longboi: Dependently-typed linked list implementation

[ data, library, mit ] [ Propose Tags ]

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

[Skip to Readme]




Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 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
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 759 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-01-16 [all 1 reports]

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.