crux-tutorial - Nextjournal

Crux Tutorialcrux-tutorial

The official Crux tutorial.

Evict with Crux – The secret mission.

published Jan 06 2020, 09:25 UTC

Getting Started with Crux – A Tale of Time and Space

published Oct 18 2019, 17:04 UTC

Put Transactions with Crux – Pluto Assignment

published Oct 18 2019, 17:03 UTC

Datalog Queries with Crux – Mercury Assignment

published Oct 18 2019, 17:01 UTC

Bitemporality with Crux – Neptune Assignment

published Oct 18 2019, 16:58 UTC

Compare and Swap with Crux – Saturn Assignment

published Oct 18 2019, 16:57 UTC

Delete with Crux – Jupiter Assignment

published Oct 18 2019, 16:57 UTC