@hackage copilot-language dependencies

7 results

library:copilot-language (7 dependencies)

@hackage/data-reify

Reify a recursive data structure into an explicit graph.

BSD-3-Clause>=0.6 && <0.7

@hackage/base

Core data structures and operations

BSD-3-Clause>=4.9 && <5

@hackage/copilot-core

An intermediate representation for Copilot.

BSD-3-Clause>=3.7 && <3.8

@hackage/array

Mutable and immutable arrays

BSD-3-Clause>=0.5 && <0.6

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.0 && <3

@hackage/copilot-theorem

k-induction for Copilot.

BSD-3-Clause>=3.7 && <3.8

@hackage/containers

Assorted concrete container types

BSD-3-Clause>=0.4 && <0.7