A language for data transformations. Read the preprint, primer and Lean code. GitHub repo here.
The LaTeX sources and PDF build instructions live in datra-docs.
This repository keeps its Lean environment in .elan. Use the repo-local Lake
executable rather than relying on a system installation; for example, verify the
main source file with:
./.elan/bin/lake env lean datra.lean
Licensed under the Apache License 2.0. Datra is authored by qualiascript; distributions and derivative works must preserve the attribution in NOTICE as required by the license.