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 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 Tue Jan 16 19:17:38 UTC 2018
Distributions NixOS:1.0.0
Downloads 112 total (11 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-01-16 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for longboi-1.0.0

[back to package description]

longboi

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.