G github.com Show HN: Seth, a JavaScript DSL for Functional Set Theory 1 points andrejewski 12 years ago 0 comments