Representing Type Lattices Compactlybernsteinbear.com
87 points by tekknolagi 3 days ago | 27 comments