agda@lists.chalmers.se

3

replies

type check with large constant

started 2018-02-10 19:45:07 UTC

2018-02-12 22:10:02 UTC

Ulf Norell

2

replies

Coinduction and Instance Arguments - is it possible?

started 2018-02-11 00:56:14 UTC

2018-02-12 00:55:04 UTC

Apostolis Xekoukoulotakis

3

replies

Superscript l and r in unicode

started 2018-02-09 03:36:13 UTC

2018-02-10 18:35:32 UTC

Philip Wadler

10

replies

proofs for (NON)TERMINATING

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

2018-02-06 22:15:20 UTC

Sergei Meshveliani

0

replies

Second Call for Papers: PACMPL issue ICFP 2018

started 2018-02-05 13:33:02 UTC

2018-02-05 13:33:02 UTC

Lindsey Kuper

2

replies

Binary library reference

started 2018-02-03 02:43:54 UTC

2018-02-03 16:28:43 UTC

Sergei Meshveliani

1

reply

am I doing something fundamentally impredicative in this code? or is there a better approach

started 2018-02-02 04:13:58 UTC

2018-02-02 05:05:56 UTC

Carter Schonwald

2

replies

IO programs examples ?

started 2018-01-26 14:53:13 UTC

2018-01-27 01:13:45 UTC

Sergei Meshveliani

3

replies

Explicit export

started 2018-01-24 21:36:08 UTC

2018-01-24 22:19:28 UTC

Wolfram Kahl

1

reply

Is this a recursive record?

started 2018-01-23 23:37:44 UTC

2018-01-24 14:21:52 UTC

Nils Anders Danielsson

2

replies

Infix-notation and TDNR

started 2018-01-22 17:04:47 UTC

2018-01-22 18:45:15 UTC

Sandro Stucki

0

replies

CFP - XXII Brazilian Symposium on Programming Languages

started 2018-01-18 20:47:17 UTC

2018-01-18 20:47:17 UTC

Rodrigo Ribeiro

0

replies

ICADIWT 2018

started 2018-01-17 20:51:37 UTC

2018-01-17 20:51:37 UTC

e***@dline.info

1

reply

Interactive Theorem Proving (ITP) 2018: Second CFP

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

2018-01-15 19:57:21 UTC

Andreas Abel

0

replies

announce of Binary-3.0

started 2018-01-13 21:25:57 UTC

2018-01-13 21:25:57 UTC

Sergei Meshveliani

6

replies

Instance arguments and types who have a unique construction.

started 2018-01-11 15:03:27 UTC

2018-01-13 11:57:53 UTC

Apostolis Xekoukoulotakis

4

replies

Converting All2 to All

started 2018-01-06 12:22:30 UTC

2018-01-11 04:00:39 UTC

Matthew Daggitt

0

replies

Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)

started 2018-01-10 22:14:21 UTC

2018-01-10 22:14:21 UTC

Anders Mortberg

1

reply

Show/Solve constraints (C-c C-= and C-c C-s) stopped working

started 2018-01-06 00:44:34 UTC

2018-01-06 02:13:51 UTC

Jesper Cockx

0

replies

6 Assistant Professor positions at the University of Utrecht

started 2018-01-04 14:02:32 UTC

2018-01-04 14:02:32 UTC

Wouter Swierstra

7

replies

Bounties for Agda features

started 2012-05-07 22:06:28 UTC

2018-01-04 00:41:22 UTC

Nils Anders Danielsson

5

replies

Disappearing unicode in Literate Agda - XeLatex

started 2017-12-30 19:47:04 UTC

2017-12-31 14:46:49 UTC

Andrés Sicard-Ramírez

2

replies

`let' in function signature

started 2017-12-25 01:58:43 UTC

2017-12-25 03:17:29 UTC

Sergei Meshveliani

2

replies

Naive person's questions about agda vs. haskell symbol notation

started 2017-12-24 19:46:51 UTC

2017-12-24 21:42:41 UTC

Liam O'Connor

1

reply

Font questions again

started 2017-12-23 02:33:13 UTC

2017-12-23 05:04:53 UTC

John Leo

0

replies

CMCS 2018: Final Call for Papers

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

2017-12-21 20:33:45 UTC

Henning Basold

0

replies

no-built-in version

started 2017-12-21 17:52:21 UTC

2017-12-21 17:52:21 UTC

Sergei Meshveliani

7

replies

How to get rid of warning

started 2017-12-16 17:06:03 UTC

2017-12-21 16:00:44 UTC

Martin Escardo

0

replies

Call for Papers: PACMPL issue ICFP 2018

started 2017-12-21 13:18:53 UTC

2017-12-21 13:18:53 UTC

Lindsey Kuper

1

reply

numeric literals

started 2017-12-20 22:27:28 UTC

2017-12-21 03:22:42 UTC

Nils Anders Danielsson