HN Explorer

u2zv1wx

↗ HN profile [ 25.4 ms ] full profile
Karma
191
Created
May 23, 2020 (6y ago)
Submissions
0
  1. Show HN: A dependently-typed programming language with static memory management (github.com)
    456 points 84