Did you ever look at Adam Chlipala's Ur/Web? That was really something. Look for... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

throwaway81523 11 months ago | parent | context | favorite | on: My views on NeoHaskell

Did you ever look at Adam Chlipala's Ur/Web? That was really something. Look for wayback machine snapshot of impredicative.org.

quadrifoliate 11 months ago [–]

It still seems to be up at http://impredicative.com/ur/ and https://github.com/urweb/urweb.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact