Mailing List:
agda@lists.chalmers.se
Add newDisplay options
0
replies
Binary-4 announcement
started 2018-08-28 18:13:57 UTC
2018-08-28 18:13:57 UTC
Sergei Meshveliani
0
replies
Positions at Nottingham
started 2018-08-27 07:31:03 UTC
2018-08-27 07:31:03 UTC
Thorsten Altenkirch
0
replies
8,9 Oct: EUTypes meeting in Aarhus
started 2018-08-26 13:39:24 UTC
2018-08-26 13:39:24 UTC
Bas Spitters
2
replies
proposal with WellFounded
started 2018-08-21 11:09:00 UTC
2018-08-21 12:45:49 UTC
Ulf Norell
0
replies
New assistant/associate professor positions in Nottingham
started 2018-08-20 13:58:19 UTC
2018-08-20 13:58:19 UTC
Graham Hutton
0
replies
Standard library 0.16.1
started 2018-08-17 16:19:48 UTC
2018-08-17 16:19:48 UTC
Matthew Daggitt
0
replies
PhD thesis position on formal proofs and programming languages at Siemens Mobility, France
started 2018-08-17 13:29:13 UTC
2018-08-17 13:29:13 UTC
Danko Ilik
0
replies
AIM XXVIII - Nottingham, October 15-20
started 2018-08-14 14:09:20 UTC
2018-08-14 14:09:20 UTC
Nicolai Kraus
0
replies
First Call for Participation for IFL 2018 (Implementation and Application of Functional Languages)
started 2018-08-14 07:58:51 UTC
2018-08-14 07:58:51 UTC
Jurriaan Hage
15
replies
Checking termination is not sufficiently exploratory.
started 2018-07-30 14:55:22 UTC
2018-08-11 08:34:40 UTC
Andreas Abel
11
replies
Standard WellFounded
started 2018-08-07 17:51:30 UTC
2018-08-10 14:20:32 UTC
Sergei Meshveliani
3
replies
Odd behaviour of Agda
started 2018-08-07 11:36:07 UTC
2018-08-08 08:47:00 UTC
Philip Wadler
0
replies
Call for Participation: ICFP 2018
started 2018-08-07 18:14:25 UTC
2018-08-07 18:14:25 UTC
Lindsey Kuper
1
reply
WellFounded usage
started 2018-08-06 12:20:24 UTC
2018-08-06 20:26:48 UTC
Sergei Meshveliani
1
reply
vs++[]==vs for vectors
started 2018-08-05 02:10:17 UTC
2018-08-05 08:13:18 UTC
Roman
2
replies
more unification using more complex with abstractions
started 2018-07-31 18:00:29 UTC
2018-08-04 17: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 16:28:36 UTC
2018-08-02 11:05:23 UTC
Matthew Daggitt
16
replies
Progress + Preservation = Evaluation
started 2018-07-06 15:49:48 UTC
2018-07-31 11:39:19 UTC
Philip Wadler
0
replies
redefining a value for `with'
started 2018-07-28 12:31:14 UTC
2018-07-28 12:31:14 UTC
Sergei Meshveliani
0
replies
Two PhD Positions in Program Verification
started 2018-07-25 08:31:34 UTC
2018-07-25 08:31:34 UTC
Amin Timany
0
replies
Generating pretty HTML listings of Agda repos using travis and jlimperg/agda-stdlib
started 2018-07-24 07:41:55 UTC
2018-07-24 07:41:55 UTC
Andreas Abel
0
replies
CPP 2019: Call for Papers
started 2018-07-24 07:20:08 UTC
2018-07-24 07:20:08 UTC
Magnus Myreen
3
replies
Reflection with terms in different universes
started 2018-07-20 21:11:05 UTC
2018-07-21 11:24:27 UTC
Jannis Limperg
0
replies
[ANNOUNCE] Agda 2.5.4.1
started 2018-07-19 19:12:59 UTC
2018-07-19 19:12:59 UTC
Andrés Sicard-Ramírez
4
replies
unification using more complex with abstractions
started 2018-07-05 00:01:16 UTC
2018-07-18 19:14:47 UTC
rick
0
replies
LAST CALL for draft papers for presentation at IFL 2018 (deadline this week)
started 2018-07-12 12:26:03 UTC
2018-07-12 12:26:03 UTC
Jurriaan Hage
0
replies
Post-proceedings TYPES'18: call for papers
started 2018-07-08 17:35:45 UTC
2018-07-08 17:35:45 UTC
José Carlos Espírito Santo
2
replies
Formalization of Agda's universe polymorphism
started 2018-07-04 12:56:20 UTC
2018-07-05 09:46:00 UTC
Roman
1
reply
unsolved meta with abstraction example
started 2018-07-04 02:05:18 UTC
2018-07-04 06:51:27 UTC
Ulf Norell
0
replies
PhD/Postdoc vacancy: Homotopy type theory and probabilistic programming
started 2018-07-03 14:41:11 UTC
2018-07-03 14:41:11 UTC
Bas Spitters
Click to Load More...
Loading...