A point-free implementation of a one-layer transformer in Coconut. - View it on GitHub