Some Example Programs in Axiomatic Language
sort an input text file
test for balanced parentheses