agda@lists.chalmers.se

4

replies

original Nat

started 2017-12-20 00:43:57 UTC

2017-12-20 17:56:12 UTC

Sergei Meshveliani

0

replies

Nat for termination counter

started 2017-12-19 02:40:30 UTC

2017-12-19 02:40:30 UTC

Sergei Meshveliani

0

replies

<Programming> 2018: Call for workshop, symposium & poster submissions

started 2017-12-14 18:32:37 UTC

2017-12-14 18:32:37 UTC

Sylvia Grewe

0

replies

Call for Short Talks on Secure Compilation (PriSC Workshop @ POPL'18)

started 2017-12-12 20:45:45 UTC

2017-12-12 20:45:45 UTC

Dominique Devriese

4

replies

`<' reasoning

started 2017-12-08 02:14:42 UTC

2017-12-09 16:25:56 UTC

Sergei Meshveliani

0

replies

CoqPL'18: call for participations and final programme

started 2017-12-08 20:17:34 UTC

2017-12-08 20:17:34 UTC

Sergey, Ilya

5

replies

Non-termination help!

started 2017-12-06 21:27:07 UTC

2017-12-08 02:33:51 UTC

Andreas Abel

0

replies

Call for bids to host ITP 2019

started 2017-12-06 21:27:04 UTC

2017-12-06 21:27:04 UTC

Jeremy Avigad

0

replies

PhD positions at Nottingham

started 2017-12-06 20:25:56 UTC

2017-12-06 20:25:56 UTC

Thorsten Altenkirch

0

replies

PEPM 2018 Final Call for Poster/Demo Abstracts and Participation

started 2017-12-06 10:55:09 UTC

2017-12-06 10:55:09 UTC

PEPM Workshop

3

replies

problems installing agda master using stack

started 2017-12-04 08:02:54 UTC

2017-12-05 06:15:15 UTC

Martin Stone Davis

0

replies

CMCS 2018: Second Call for Papers

started 2017-12-05 02:20:22 UTC

2017-12-05 02:20:22 UTC

Henning Basold

0

replies

Agda Implementors' Meeting XXVI - Budapest, 29 Jan -- 3 Feb 2018

started 2017-12-04 05:12:53 UTC

2017-12-04 05:12:53 UTC

Ambrus Kaposi

12

replies

Universe level checking

started 2017-11-29 21:50:15 UTC

2017-12-03 10:46:36 UTC

Andrés Sicard-Ramírez

2

replies

on `data' declaration

started 2017-11-28 01:24:37 UTC

2017-11-28 14:36:48 UTC

Sergei Meshveliani

2

replies

dotted patterns

started 2017-11-25 03:48:08 UTC

2017-11-25 18:13:53 UTC

Jesper Cockx

4

replies

Printing strings in the emacs mode

started 2017-11-21 08:37:37 UTC

2017-11-24 03:02:19 UTC

Setzer A.G.

0

replies

PEPM 2018 Call for Poster/Demo Abstracts and Participation

started 2017-11-23 18:05:04 UTC

2017-11-23 18:05:04 UTC

PEPM Workshop

5

replies

difficult termination

started 2017-11-20 21:47:13 UTC

2017-11-21 17:16:29 UTC

Sergei Meshveliani

0

replies

Call for Participation for Secure Compilation Workshop (PriSC @ POPL'18)

started 2017-11-17 14:05:52 UTC

2017-11-17 14:05:52 UTC

Dominique Devriese

0

replies

LFMTP'18 Call for Papers

started 2017-11-15 15:51:43 UTC

2017-11-15 15:51:43 UTC

Ana Bove

1

reply

How do I check whether an agda term associated with a specific name relies on hole?

started 2017-11-15 00:18:38 UTC

2017-11-15 04:12:46 UTC

Ulf Norell

3

replies

Installing libraries

started 2017-11-10 21:51:27 UTC

2017-11-13 20:15:54 UTC

Nils Anders Danielsson

14

replies

Agda's syntax declaration

started 2017-11-03 18:06:09 UTC

2017-11-06 16:09:48 UTC

Ulf Norell

1

reply

instance arguments and negation.

started 2017-11-03 15:52:04 UTC

2017-11-03 17:48:57 UTC

Andreas Abel

4

replies

[REQUEST] Help with transition from 2.5.1/2 (std-lib 0.12) to 2.5.3 (std-lib 0.14)

started 2017-10-26 22:07:37 UTC

2017-11-02 02:16:58 UTC

Andreas Abel

6

replies

Instance arguments vs auto in Idris.

started 2017-10-31 21:17:50 UTC

2017-11-01 14:22:48 UTC

Ulf Norell

0

replies

Call for Sponsorships: ICFP 2018

started 2017-10-31 08:15:18 UTC

2017-10-31 08:15:18 UTC

Lindsey Kuper

0

replies

Call for Workshop Proposals: ICFP 2018

started 2017-10-27 06:40:01 UTC

2017-10-27 06:40:01 UTC

Lindsey Kuper

0

replies

Call for Participation: ICFP 2017

started 2017-10-27 06:37:01 UTC

2017-10-27 06:37:01 UTC

Lindsey Kuper