This directory contains just a few examples and cool tricks involving the HVM. For more comprehensive examples, please visit the Kindex repository, which has tons of datatypes and algorithms on the Kind language, which compiles 1-to-1 to the HVM.