Skip to content
Homepage
Dependent Types
Hosted by
Sanchayan M.
Bangalore Functional Programmers Meetup
Details
A look at dependent types perhaps via Idris.
Related topics
Events in Bengaluru
Report event
You may also like
See all
