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.