integer-sorting This repository implements a basic sorting algorithm for a list of u32 integers. Build Guide To compile the Leo program, run: leo build To test the Leo program, run: leo test Development To output the number of constraints, run: leo build -d