@hackage fin dependents

16 results

@hackage/LTS
LTS: Labelled Transition System
MITv0.1.0.0
@hackage/apply-unordered
Apply a function to an argument specified by a type level Nat
BSD-3-Clausev1.0
@hackage/bin
Bin: binary natural numbers.
GPL-2.0-or-laterv0.1.4
@hackage/boring
Boring and Absurd types
BSD-3-Clausev0.2.2
@hackage/debruijn
de Bruijn indices and levels
BSD-3-Clausev0.3.1
@hackage/debruijn-safe
de Bruijn indices and levels
BSD-3-Clausev0.3.1
@hackage/overloaded
Overloaded pragmas as a plugin
BSD-3-Clausev0.3.1
@hackage/ral
Random access lists
GPL-2.0-or-laterv0.2.2
@hackage/ral-lens
Length-indexed random access lists: lens utilities.
GPL-2.0-or-laterv0.2.1
@hackage/ral-optics
Length-indexed random access lists: optics utilities.
GPL-2.0-or-laterv0.2.1
@hackage/rebound
A variable binding library based on well-scoped de Bruijn indices.
MITv0.1.1.0
@hackage/rere
Regular-expressions extended with fixpoints for context-free powers
BSD-3-Clausev0.2.0.2
@hackage/testing-tensor
Pure implementation of tensors, for use in tests.
BSD-3-Clausev0.2.0
@hackage/vec
Vec: length-indexed (sized) list
BSD-3-Clausev0.5.1
@hackage/vec-lens
Vec: length-indexed (sized) list: lens support
BSD-3-Clausev0.4.1
@hackage/vec-optics
Vec: length-indexed (sized) list: optics support
BSD-3-Clausev0.4.1