Skip to content

Details

A look at dependent types perhaps via Idris.

Events in Bengaluru

Members are also interested in