Skip to main content
Mr Lister's user avatar
Mr Lister's user avatar
Mr Lister's user avatar
Mr Lister
  • Member for 10 years, 8 months
  • Last seen more than 1 year ago
comment
Functional programing and intensional type theory
I can't help but wonder if the "programing" was an intentional typo.
awarded
awarded
awarded