# `longboi`

[![Hackage][hackage-badge]][hackage-link]
[![License][license-badge]][license-link]

`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.

[hackage-badge]:
    https://img.shields.io/hackage/v/longboi.svg?label=Hackage
[hackage-link]:
    https://hackage.haskell.org/package/longboi
[license-badge]:
    https://img.shields.io/badge/License-MIT-blue.svg
[license-link]:
    https://spdx.org/licenses/MIT.html