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!
1 2 3 4 5 6 7 8 9 10

2015-2018 Mokum.place