Mailing List:
agda@lists.chalmers.se
Add newDisplay options
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
2
replies
cong with wildcard
started 2018-07-10 11:30:55 UTC
2018-07-10 21:11:25 UTC
Matthew Daggitt
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
8
replies
libraries for Bin
started 2018-07-02 09:46:14 UTC
2018-07-05 12:51:36 UTC
Anton Trunov
2
replies
Formalization of Agda's universe polymorphism
started 2018-07-04 12:56:20 UTC
2018-07-05 09:46:00 UTC
Roman
0
replies
Literate Agda bit rot
started 2018-07-04 18:02:03 UTC
2018-07-04 18:02:03 UTC
Philip Wadler
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
2
replies
type:type locally?
started 2018-06-26 09:52:36 UTC
2018-06-29 12:26:33 UTC
Jesper Cockx
2
replies
Typed Jigger in vanilla Agda.
started 2018-06-26 16:58:20 UTC
2018-06-26 20:34:38 UTC
Roman
1
reply
Emacs mode subscripts and superscripts
started 2018-06-26 19:37:47 UTC
2018-06-26 19:48:09 UTC
Guillaume Allais
0
replies
Fwd: [Eutypes] Call for STSMs, deadline July 1, 2018
started 2018-06-24 21:56:25 UTC
2018-06-24 21:56:25 UTC
Andreas Abel
1
reply
Call for Conference Grant Applications (Inclusiveness Target Countries)
started 2017-12-31 16:07:28 UTC
2018-06-23 16:50:26 UTC
Ambrus Kaposi
0
replies
Announcement: MPC 2019, Porto, Portugal
started 2018-06-18 13:34:56 UTC
2018-06-18 13:34:56 UTC
Graham Hutton
Click to Load More...
Loading...