The Socrates programming language / News: Recent posts

Today's release of the dissertation package is the first complete draft! 10 chapters, 99 pages. I will be submitting it to my committee soon.