Simple Dependent Types in Python

(sobolevn.me)

1 points | by Fudgel 11 hours ago ago