A restrictive language for writing array-based sorting algorithms, and a python visualizer for the output.