Archived tweet #1672 from the @leastfixedpoint Twitter Archive

@intellectronica Fairly modern. http://www.htdp.org/. Emphasis on inductive reasoning about structure, using algebraic datatypes, moreorless