3 ms·Agda & PureScript support it, Haskell with the Unicode pragma tooby toastal 3y agoAgda & PureScript support it, Haskell with the Unicode pragma too