3 ms·
Did you ever look at Adam Chlipala's Ur/Web? That was really something. Look for wayback machine snapshot of impredicative.org.
by throwaway81523 3y ago
Did you ever look at Adam Chlipala's Ur/Web? That was really something. Look for wayback machine snapshot of impredicative.org.
- quadrifoliate 3y agoIt still seems to be up at http://impredicative.com/ur/ http://impredicative.com/ur/ and https://github.com/urweb/urweb https://github.com/urweb/urweb.