Formality is now able to fuse native datatypes (goodbye ugly λ-encodings)reddit.com3 points·maiavictor··0 commentsOpen articleSaveView on HN