One post tagged with "language"

We've deployed a new version of the Acorn Prover, 0.0.5, with support for a commonly requested feature: generic types. For example, the standard library now has a Pair structure:

structure Pair<T, U> {
    first: T
    second: U
}