The longboi package

[ Tags: 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
Category Data
Home page
Bug tracker
Source repo head: git clone -b master
Uploaded Tue Jan 16 19:17:38 UTC 2018 by chessai
Distributions NixOS:1.0.0
Downloads 38 total (14 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




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.