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
}

Good news, everybody!

With this blog post, I hereby demonstrate that the Acorn blog is now capable of handling posts.