- 👋 Hi, I’m Ferenc
- 👀 I’m interested in functional programming and its mathematical foundations (mostly category theory)
- 🌱 I’m currently learning dependent types with Agda
flukacs561 Goto Github PK
Name: Ferenc Lukács
Type: User
Company: TNG
Bio: mathematician, software consultant