Show HN: Custom type systems for Python in 20 lines of Prologgithub.com/alehander424 pointsalehander4210 years ago