5 ms·Synthesizing the Boring Parts With GHC: A Research Progress Report1 points by hydroxideOH- 4y ago