Show HN: Dependently typed language for proofs that you can implement in one daygithub.com/caotic123138 pointscaotic1235 years ago