agda@lists.chalmers.se

2

replies

type:type locally?

started 2018-06-26 14:52:36 UTC

2018-06-29 17:26:33 UTC

Jesper Cockx

2

replies

Typed Jigger in vanilla Agda.

started 2018-06-26 21:58:20 UTC

2018-06-27 01:34:38 UTC

Roman

1

reply

Emacs mode subscripts and superscripts

started 2018-06-27 00:37:47 UTC

2018-06-27 00:48:09 UTC

Guillaume Allais

0

replies

Fwd: [Eutypes] Call for STSMs, deadline July 1, 2018

started 2018-06-25 02:56:25 UTC

2018-06-25 02:56:25 UTC

Andreas Abel

0

replies

Announcement: MPC 2019, Porto, Portugal

started 2018-06-18 18:34:56 UTC

2018-06-18 18:34:56 UTC

Graham Hutton

0

replies

Call for draft papers for presentation at IFL 2018 (Implementation and Application of Functional Languages)

started 2018-06-15 13:45:22 UTC

2018-06-15 13:45:22 UTC

Jurriaan Hage

1

reply

Multitheading Agda?

started 2018-06-11 00:43:20 UTC

2018-06-12 01:32:52 UTC

Nils Anders Danielsson

0

replies

HOPE 2018: Deadline extension until June 15th

started 2018-06-11 20:17:11 UTC

2018-06-11 20:17:11 UTC

Filip Sieczkowski

4

replies

type check performance

started 2018-06-08 13:23:17 UTC

2018-06-09 12:48:35 UTC

Martin Escardo

0

replies

Mathematically Structured Functional Programming 2018: Call for Participation

started 2018-06-08 14:29:51 UTC

2018-06-08 14:29:51 UTC

Robert Atkey

1

reply

TLA+ or LTL in agda ?

started 2018-06-05 09:34:22 UTC

2018-06-08 14:19:52 UTC

Setzer A.G.

0

replies

Standard library 0.16

started 2018-06-08 13:49:51 UTC

2018-06-08 13:49:51 UTC

Matthew Daggitt

0

replies

Final Call for Presentations HOPE 2018

started 2018-06-08 13:23:17 UTC

2018-06-08 13:23:17 UTC

Filip Sieczkowski

0

replies

[ANNOUNCE] Agda 2.5.4

started 2018-06-03 01:06:26 UTC

2018-06-03 01:06:26 UTC

Andrés Sicard-Ramírez

0

replies

Second Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018)

started 2018-05-30 00:10:26 UTC

2018-05-30 00:10:26 UTC

Andrei Chis

3

replies

[ANNOUNCE] Agda 2.5.4 release candidate 2

started 2018-05-26 10:20:46 UTC

2018-05-29 17:51:21 UTC

Nils Anders Danielsson

25

replies

[ANNOUNCE] Agda 2.5.4 release candidate 1

started 2018-05-22 00:59:22 UTC

2018-05-26 21:37:18 UTC

Arseniy Alekseyev

2

replies

implicit/explicit difference in candidate

started 2018-05-26 00:44:11 UTC

2018-05-26 14:54:26 UTC

Sergei Meshveliani

1

reply

"unsolved metas" in candidate

started 2018-05-25 23:49:12 UTC

2018-05-25 23:58:19 UTC

Sergei Meshveliani

2

replies

Pretty Print Line Length

started 2018-05-24 00:41:21 UTC

2018-05-24 15:51:22 UTC

Philip Wadler

29

replies

new generalize feature, first version

started 2018-03-29 17:13:48 UTC

2018-05-22 21:44:29 UTC

Peter Divianszky

0

replies

Autumn school "Proof and Computation"

started 2018-05-22 02:00:52 UTC

2018-05-22 02:00:52 UTC

Chuangjie Xu

17

replies

The joys and sorrows of abstraction

started 2018-05-16 03:27:37 UTC

2018-05-22 01:39:19 UTC

Andreas Abel

0

replies

Formal Methods internship at Arm Research

started 2018-05-22 01:29:19 UTC

2018-05-22 01:29:19 UTC

Dominic Mulligan

0

replies

New deadline for paper submission to SBLP 2018

started 2018-05-22 00:59:22 UTC

2018-05-22 00:59:22 UTC

Carlos Camarao

5

replies

Blog post: The Agda's New Sorts

started 2018-05-04 13:45:57 UTC

2018-05-22 00:43:46 UTC

Jon Sterling

9

replies

How does one debug a programme that one has proved correct?

started 2018-05-04 22:44:55 UTC

2018-05-16 18:41:18 UTC

Philip Wadler

0

replies

Numerical Methods in Functional Programming (CfP)

started 2018-05-13 20:04:00 UTC

2018-05-13 20:04:00 UTC

d***@steinitz.org

0

replies

Bishop's work on Type Theory

started 2018-05-05 04:08:27 UTC

2018-05-05 04:08:27 UTC

Martin Escardo

4

replies

Symmetry

started 2018-05-03 16:49:03 UTC

2018-05-04 21:09:16 UTC

Philip Wadler