Show HN: Kind, a minimal, efficient, practical proof language | Heykuki News