from Hacker News

Implementation of Dependent Types

by fanf2 on 6/6/25, 5:42 PM with 1 comments

• by thomasdziedzic on 6/6/25, 5:43 PM

  seems like it's down, getting an ERR_CONNECTION_REFUSED