<https://twitter.com/arrow_kt/status/1214318475302...
# arrow-meta
r
https://twitter.com/arrow_kt/status/1214318475302162432 Thank you @matiaslev and welcome!, we hope to do great things with meta and type proofs together in 2020! 🎉
arrow 6