YHacker Newsscreenshots

typex.fly.dev on Hacker News

1 story on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of typex.fly.dev: Elixir's “Set Theoretical Type System” prototype/demo/showcase

Elixir's “Set Theoretical Type System” prototype/demo/showcase (typex.fly.dev)

154 points by weatherlight 3 years ago | 22 comments