v0.2.0

writ 0.2.0 — the first release you can actually download

Three ways to install one writ: a statically linked tarball for linux-x86_64
and linux-aarch64, the container image for both architectures, and an opam pin.
All three now report the same version, which was not true before: an opam pin
substituted the tag verbatim and printed writ v0.2.0 where the tarball printed
writ 0.2.0.

It is 0.2.0 and not 0.1.0 because 0.1.0 is already spoken for — v0.1.0 tags a
commit from before most of this existed, and an image was published from it.

See CHANGELOG.md for what the language and the tool do.

Install

A tarball, for a machine with no OCaml and no opam. Statically
linked: no libc version floor, so it runs on any Linux of its
architecture. It carries writ, writ-lsp, writ-mcp and the
standard library.

v=writ-0.2.0-linux-$(uname -m)
sha256sum -c $v.tar.gz.sha256
tar xzf $v.tar.gz && cd $v && ./install.sh     # -> ~/.local

The container image, amd64 and arm64:

docker run --rm ghcr.io/writ-lang/writ:0.2.0 --version

As an opam package, pinned to this tag:

opam pin add writ git+https://github.com/writ-lang/writ#v0.2.0

macOS has no static libc, so there is no mac tarball here: build one
from this tag with make release STATIC=0.

What's Changed

• writ mgtt — read an mgtt architecture model as a writ model by @sajonaro in #1
• docs: work the mgtt reading through by @sajonaro in #2
• fix(mgtt): carry facts compared with both a sibling and a constant by @sajonaro in #3
• --stdin on every model-reading verb, and delete the mgtt surface by @sajonaro in #4
• fix(image): copy tooling/sql into the build stage by @sajonaro in #5
• ci: build the image on every pull request by @sajonaro in #6
• ci(image): publish amd64 and arm64, each built natively by @sajonaro in #7
• ci: share one build between the image check and the publish by @sajonaro in #8
• release: publish the tarball on a tag, and stop a tag meaning nothing by @sajonaro in #9
• fix(release): the tag check refused every tag for not following itself by @sajonaro in #10

New Contributors

• @sajonaro made their first contribution in #1

Full Changelog: v0.1.0...v0.2.0