alf » from archive
RT @bitemyapp: If all else fails, we can bail over to Idris, the dependent types and proof search should keep them scared for at least another decade!