Create event Dependent Typing with Idris

<div class="row">
  <article class="meeting all-columns" id="">
    <a name=""></a>
    <h2>Dependent Typing with Idris</h2>
    <p class="meeting-info"> - 6:30pm
       - <a href="https://www.google.com/maps/search/?api=1&query=Showroom Workstation Conference Room 1, 15 Paternoster Row, Sheffield, S1 2BX>Showroom Workstation Conference Room 1</a>
       - <a href="https://www.eventbrite.co.uk/e/dependent-typing-with-idris-tickets-43507538218">Tickets</a>
    </p>
    <P>We're looking at dependent typing and the kinds of problems it can help with, using the Idris language. </P>
  </article>
</div>

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Create event Dependent Typing with Idris #15

Dependent Typing with Idris

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Create event Dependent Typing with Idris #15

Description

Dependent Typing with Idris

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions