3 ms·Thank you for all these resources!by Zababa 5y agoThank you for all these resources!natded 5y agoNo problem, I enjoy reading about type theory and trying to apply them in practical programming as a hobby.