finished spec for challenge problem language: 'while' (equiv 'imp')
finished spec for challenge problem language: 'while' (equiv 'imp')

baxtersa/adapton.rust,Adapton/adapton.rust,Adapton/adapton.rust,baxtersa/adapton.rust