Veryl 0.20.0: logic synthesis and type inference are supported | Dark Hacker News