addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1launch-new-window--smalllight-bulblinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Rehno L.

Location:

Pretoria
Hometown: Pretoria, South Africa

Member since:

February 4, 2014

Networks

How familiar are you with category theory?

Still trying to get a handle on it, but got the basics more or less sorted out.

How familiar are you with type theory?

I'm familiar with the basics of intentional type theory, getting introduced to Homotopy Type Theory right now.

How's your functional programming level?

Not too bad, I write a little bit of Haskell code every so often.

Introduction

Hi, I'm a Haskeller & PLT enthusiast from South Africa.


People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy