agda@lists.chalmers.se

0

replies

literature on Coq page

started 2018-03-28 17:27:36 UTC

2018-03-28 17:27:36 UTC

Sergei Meshveliani

4

replies

Instance resolution question

started 2018-03-28 09:39:31 UTC

2018-03-28 12:23:37 UTC

Apostolis Xekoukoulotakis

1

reply

Is bottom initial without functional extensionality?

started 2018-03-27 04:15:47 UTC

2018-03-27 14:09:52 UTC

Jesper Cockx

1

reply

`Pointwise' over Setoid

started 2018-03-24 15:33:03 UTC

2018-03-24 18:02:40 UTC

Matthew Daggitt

4

replies

Right Distributivity

started 2018-03-23 01:55:19 UTC

2018-03-23 04:49:27 UTC

Philip Wadler

9

replies

Syntax declarations

started 2018-03-18 18:22:24 UTC

2018-03-21 22:08:17 UTC

Philip Wadler

2

replies

nullary copattern matching

started 2018-03-21 03:12:27 UTC

2018-03-21 16:00:21 UTC

Thorsten Altenkirch

5

replies

Partiality/delay monad [was: proofs for (NON)TERMINATING]

started 2018-03-08 14:02:20 UTC

2018-03-20 22:39:15 UTC

Nils Anders Danielsson

4

replies

Confused about rewriting

started 2018-03-18 05:15:05 UTC

2018-03-20 21:35:24 UTC

Philip Wadler

0

replies

Midlands Graduate School - extended registration deadline

started 2018-03-19 19:46:05 UTC

2018-03-19 19:46:05 UTC

Graham Hutton

4

replies

Bug in simplification?

started 2018-03-17 22:59:05 UTC

2018-03-18 17:55:35 UTC

Philip Wadler

0

replies

Call for Tutorial Proposals: ICFP 2018

started 2018-03-18 09:07:25 UTC

2018-03-18 09:07:25 UTC

Lindsey Kuper

0

replies

Posts in security in Swansea (possibly connected to Agda) deadline Fri 22/3/18

started 2018-03-18 05:21:55 UTC

2018-03-18 05:21:55 UTC

Setzer A.G.

2

replies

Cannot unquote non-canonical type checking computation

started 2018-03-16 17:35:34 UTC

2018-03-17 19:56:19 UTC

Apostolis Xekoukoulotakis

0

replies

FoPPS Logic and Learning School (Oxford, July 1-6)

started 2018-03-17 05:01:27 UTC

2018-03-17 05:01:27 UTC

Andrzej Murawski

0

replies

Federated Logic Conference student travel support

started 2018-03-15 23:47:46 UTC

2018-03-15 23:47:46 UTC

Jeremy Avigad

0

replies

Tenure track Assistant Professor in Computer Science directed towards Logic of Programs (Deadline: April 3)

started 2018-03-15 22:41:15 UTC

2018-03-15 22:41:15 UTC

Erik Palmgren

1

reply

+-*- swap in library

started 2018-03-14 01:12:17 UTC

2018-03-15 19:23:14 UTC

Matthew Daggitt

0

replies

Call for Participation: <Programming> 2018 in Nice

started 2018-03-14 22:32:46 UTC

2018-03-14 22:32:46 UTC

Sylvia Grewe

0

replies

1st CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)

started 2018-03-13 12:48:54 UTC

2018-03-13 12:48:54 UTC

Jurriaan Hage

0

replies

[ANNOUNCE] Standard library 0.15

started 2018-03-12 21:21:56 UTC

2018-03-12 21:21:56 UTC

Matthew Daggitt

0

replies

Midlands Graduate School 2018 - final call for participation

started 2018-03-12 14:50:21 UTC

2018-03-12 14:50:21 UTC

Graham Hutton

1

reply

module _{a b}

started 2018-03-11 02:28:01 UTC

2018-03-11 05:10:59 UTC

Matthew Daggitt

0

replies

Final Call for Papers: PACMPL issue ICFP 2018

started 2018-03-09 02:08:33 UTC

2018-03-09 02:08:33 UTC

Lindsey Kuper

6

replies

coinductively defined families

started 2018-03-07 19:58:12 UTC

2018-03-08 19:27:13 UTC

Thorsten Altenkirch

0

replies

1st call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg

started 2018-03-07 20:23:27 UTC

2018-03-07 20:23:27 UTC

Peter Achten

0

replies

LFMTP - call for papers

started 2018-03-07 17:06:38 UTC

2018-03-07 17:06:38 UTC

Ana Bove

0

replies

LFMTP'18: Logical Frameworks and Meta Languages: Theory and Practice - Call for Papers

started 2018-03-07 12:58:00 UTC

2018-03-07 12:58:00 UTC

Frédéric Blanqui

3

replies

debugPrint : Does it work correctly?

started 2018-03-07 01:36:44 UTC

2018-03-07 11:56:23 UTC

Ulf Norell

0

replies

Feedback on upcoming version of the standard library

started 2018-03-06 20:08:07 UTC

2018-03-06 20:08:07 UTC

Matthew Daggitt