Avatar for alf
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!

2015-2018 Mokum.place