Name: Introduction to Writing Proofs in Agda
Start: 2023-09-13T18:30:00+03:00
End: 2023-09-13T20:30:00+03:00
Location: LIFT99 Telliskivi Hub

This time Joosep will give an introductory presentation into Agda.

Agda is a dependently-typed programming language and a proof assistant which has a lot of similarities with Haskell. We will look at how to write proofs about programs in Agda and then try to write similar proofs in Haskell using type families and GADTs.

The venue will be the lift99 Telliskivi Mainhub Space. The door opens from 6:30pm and the event starts at 7:00pm. There will be some limited pizza and drinks provided :)

Zoom link will be available for joining remotely.

Miao ZhiCheng

Tallinn Haskell User Group

Technology

Open Source

Software Development

New Technology

Web Development

Programming Languages

Haskell

Computer Programming

Functional Programming

Introduction to Writing Proofs in Agda

Agda

LIFT99 Telliskivi Hub

Share

Tallinn Haskell User Group

Introduction to Writing Proofs in Agda

Tallinn Haskell User Group

Details

Members are also interested in