longboi: Dependently-typed linked list implementation

[ data, library, mit ] [ Propose Tags ]

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

[Skip to Readme]

Modules

[Index]

Longboi

Downloads

longboi-1.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

For package maintainers and hackage trustees

edit package information

Candidates

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
Downloads	703 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]

`longboi`

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.