agda@lists.chalmers.se

0

replies

Binary-4 announcement

started 2018-08-28 23:13:57 UTC

2018-08-28 23:13:57 UTC

Sergei Meshveliani

0

replies

Positions at Nottingham

started 2018-08-27 12:31:03 UTC

2018-08-27 12:31:03 UTC

Thorsten Altenkirch

0

replies

8,9 Oct: EUTypes meeting in Aarhus

started 2018-08-26 18:39:24 UTC

2018-08-26 18:39:24 UTC

Bas Spitters

2

replies

proposal with WellFounded

started 2018-08-21 16:09:00 UTC

2018-08-21 17:45:49 UTC

Ulf Norell

0

replies

New assistant/associate professor positions in Nottingham

started 2018-08-20 18:58:19 UTC

2018-08-20 18:58:19 UTC

Graham Hutton

0

replies

Standard library 0.16.1

started 2018-08-17 21:19:48 UTC

2018-08-17 21:19:48 UTC

Matthew Daggitt

0

replies

PhD thesis position on formal proofs and programming languages at Siemens Mobility, France

started 2018-08-17 18:29:13 UTC

2018-08-17 18:29:13 UTC

Danko Ilik

0

replies

AIM XXVIII - Nottingham, October 15-20

started 2018-08-14 19:09:20 UTC

2018-08-14 19:09:20 UTC

Nicolai Kraus

0

replies

First Call for Participation for IFL 2018 (Implementation and Application of Functional Languages)

started 2018-08-14 12:58:51 UTC

2018-08-14 12:58:51 UTC

Jurriaan Hage

15

replies

Checking termination is not sufficiently exploratory.

started 2018-07-30 19:55:22 UTC

2018-08-11 13:34:40 UTC

Andreas Abel

11

replies

Standard WellFounded

started 2018-08-07 22:51:30 UTC

2018-08-10 19:20:32 UTC

Sergei Meshveliani

3

replies

Odd behaviour of Agda

started 2018-08-07 16:36:07 UTC

2018-08-08 13:47:00 UTC

Philip Wadler

0

replies

Call for Participation: ICFP 2018

started 2018-08-07 23:14:25 UTC

2018-08-07 23:14:25 UTC

Lindsey Kuper

1

reply

WellFounded usage

started 2018-08-06 17:20:24 UTC

2018-08-07 01:26:48 UTC

Sergei Meshveliani

1

reply

vs++[]==vs for vectors

started 2018-08-05 07:10:17 UTC

2018-08-05 13:13:18 UTC

Roman

2

replies

more unification using more complex with abstractions

started 2018-07-31 23:00:29 UTC

2018-08-04 22:21:37 UTC

Nils Anders Danielsson

1

reply

Newbie question: For nonnegative rationals ‘a’ and ‘b’, how to prove ‘a - b’ is nonnegative, given that ‘b ≤ a’?

started 2018-07-23 21:28:36 UTC

2018-08-02 16:05:23 UTC

Matthew Daggitt

16

replies

Progress + Preservation = Evaluation

started 2018-07-06 20:49:48 UTC

2018-07-31 16:39:19 UTC

Philip Wadler

0

replies

redefining a value for `with'

started 2018-07-28 17:31:14 UTC

2018-07-28 17:31:14 UTC

Sergei Meshveliani

0

replies

Two PhD Positions in Program Verification

started 2018-07-25 13:31:34 UTC

2018-07-25 13:31:34 UTC

Amin Timany

0

replies

Generating pretty HTML listings of Agda repos using travis and jlimperg/agda-stdlib

started 2018-07-24 12:41:55 UTC

2018-07-24 12:41:55 UTC

Andreas Abel

0

replies

CPP 2019: Call for Papers

started 2018-07-24 12:20:08 UTC

2018-07-24 12:20:08 UTC

Magnus Myreen

3

replies

Reflection with terms in different universes

started 2018-07-21 02:11:05 UTC

2018-07-21 16:24:27 UTC

Jannis Limperg

0

replies

[ANNOUNCE] Agda 2.5.4.1

started 2018-07-20 00:12:59 UTC

2018-07-20 00:12:59 UTC

Andrés Sicard-Ramírez

4

replies

unification using more complex with abstractions

started 2018-07-05 05:01:16 UTC

2018-07-19 00:14:47 UTC

rick

0

replies

LAST CALL for draft papers for presentation at IFL 2018 (deadline this week)

started 2018-07-12 17:26:03 UTC

2018-07-12 17:26:03 UTC

Jurriaan Hage

0

replies

Post-proceedings TYPES'18: call for papers

started 2018-07-08 22:35:45 UTC

2018-07-08 22:35:45 UTC

José Carlos Espírito Santo

2

replies

Formalization of Agda's universe polymorphism

started 2018-07-04 17:56:20 UTC

2018-07-05 14:46:00 UTC

Roman

1

reply

unsolved meta with abstraction example

started 2018-07-04 07:05:18 UTC

2018-07-04 11:51:27 UTC

Ulf Norell

0

replies

PhD/Postdoc vacancy: Homotopy type theory and probabilistic programming

started 2018-07-03 19:41:11 UTC

2018-07-03 19:41:11 UTC

Bas Spitters