Formality is now able to fuse native datatypes (goodbye ugly λ-encodings) (reddit.com) 3 points by maiavictor 7y ago ↗ HN
0 comments
[ 2.3 ms ] story [ 12.0 ms ] threadNo comments yet.