Mailing List:
agda@lists.chalmers.se
Add newDisplay options
0
replies
import behavior
started 2018-09-17 13:12:01 UTC
2018-09-17 13:12:01 UTC
Sergei Meshveliani
0
replies
CPP 2019: Final Call for Papers
started 2018-09-17 11:55:30 UTC
2018-09-17 11:55:30 UTC
Magnus Myreen
0
replies
using (Acc _<_)
started 2018-09-16 11:32:11 UTC
2018-09-16 11:32:11 UTC
Sergei Meshveliani
0
replies
announcing Cedille 1.0.0
started 2018-09-14 19:38:13 UTC
2018-09-14 19:38:13 UTC
Aaron Stump
0
replies
Agda Implementors' Meeting XXVIII - Nottingham, October 15-20
started 2018-09-14 13:46:50 UTC
2018-09-14 13:46:50 UTC
Nicolai Kraus
1
reply
Literate Agda bit rot
started 2018-07-04 18:02:03 UTC
2018-09-14 13:00:16 UTC
Nils Anders Danielsson
3
replies
Type mismatch? Tipo miskongruas?
started 2018-09-13 15:01:48 UTC
2018-09-14 11:23:52 UTC
Nils Anders Danielsson
0
replies
Mathematics of Program Construction (MPC), Portugal, 2019
started 2018-09-10 12:13:31 UTC
2018-09-10 12:13:31 UTC
Graham Hutton
2
replies
`accessible' for ℕ
started 2018-08-31 12:30:36 UTC
2018-08-31 12:48:47 UTC
Sergei Meshveliani
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
Call for Conference Grant Applications (Inclusiveness Target Countries)
started 2017-12-31 16:07:28 UTC
2018-08-23 07:24:37 UTC
Ambrus Kaposi
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
Click to Load More...
Loading...