Type-level programming for safer resource management frasertweedale.github.io 4 points by Bogdanp 18 hours ago