[GSoC 2020] Final results

[jaspervdj]

https://summer.haskell.org/news/2020-10-12-final-results.html