Show HN: Xi – No syntax, 10 primitives, dependent types, designed for silicongithub.com/maja00274 pointsmaja00274 months ago