Learnings so far: 1. Using the nickel in nixpkgs gave me an 'array.sort' that did not in fact sort arrays. nickel built from master solved that 2. sorting ~240 numbers takes nickel 2s (>100s before updating)... this does not bode well for nickel being able to do the later numerical problems.
I'll try to actually use some types and contracts for later ones. I haven't written any nickel at all before. This is an excuse to learn nickel. I should try and make myself learn the actually interesting features of nickel