Skip to content

Dependent Types

Photo of Sanchayan Maity
Hosted By
Sanchayan M.
Dependent Types

Details

A look at dependent types perhaps via Idris.

Events in Bengaluru
Photo of Bangalore Functional Programmers Meetup group
Bangalore Functional Programmers Meetup
See more events
Bangalore Functional Programmers Meetup
Photo of Bangalore Functional Programmers Meetup group
Cybrilla
Sector 2, HSR Layout · Bengaluru, Ka
Photo of Bangalore Functional Programmers Meetup group
Bangalore Functional Programmers Meetup
public group