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