squiggle/packages/squiggle-lang/__tests__/docs

Properties

Using nix. Where o is open on OSX and xdg-open on linux,

nix-build
o result/properties.pdf

Without nix, you can install pandoc yourself and run

pandoc --from markdown --to latex --out properties.pdf --pdf-engine xelatex properties.md

Details

The properties.pdf document is normative and aspirational. It does not document tests as they exist in the codebase, but somewhat represents how we think squiggle ought to be tested.