leastfixedpoint

Archived tweet #7252 from the @leastfixedpoint Twitter Archive
RT @jerrykuch: @leastfixedpoint "Named for Guarded Horn Clauses, an Edinburgh metal band of the late 1970s..."