Status of dependent types?

2

From a quick search here:

…seems to be the most recent post (here anyway) - perhaps they’ve centralised their progress reports on a Serokell site?

3 Likes