fun with dependent typesPublished byjao.ioon •1 min readIt had been a while since i last had this much fun with a programmingDependentTypesLearn moreShareLegalReport
