Hacker News new | ask | show | jobs
Formality is now able to fuse native datatypes (goodbye ugly λ-encodings) (reddit.com)
3 points by maiavictor 2764 days ago