Mailing List:
agda@lists.chalmers.se
Add newDisplay options
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
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
0
replies
Announcement: MPC 2019, Porto, Portugal
started 2018-06-18 13:34:56 UTC
2018-06-18 13:34:56 UTC
Graham Hutton
0
replies
Call for draft papers for presentation at IFL 2018 (Implementation and Application of Functional Languages)
started 2018-06-15 08:45:22 UTC
2018-06-15 08:45:22 UTC
Jurriaan Hage
1
reply
Multitheading Agda?
started 2018-06-10 19:43:20 UTC
2018-06-11 20:32:52 UTC
Nils Anders Danielsson
0
replies
HOPE 2018: Deadline extension until June 15th
started 2018-06-11 15:17:11 UTC
2018-06-11 15:17:11 UTC
Filip Sieczkowski
4
replies
type check performance
started 2018-06-08 08:23:17 UTC
2018-06-09 07:48:35 UTC
Martin Escardo
0
replies
Mathematically Structured Functional Programming 2018: Call for Participation
started 2018-06-08 09:29:51 UTC
2018-06-08 09:29:51 UTC
Robert Atkey
1
reply
TLA+ or LTL in agda ?
started 2018-06-05 04:34:22 UTC
2018-06-08 09:19:52 UTC
Setzer A.G.
0
replies
Standard library 0.16
started 2018-06-08 08:49:51 UTC
2018-06-08 08:49:51 UTC
Matthew Daggitt
0
replies
Final Call for Presentations HOPE 2018
started 2018-06-08 08:23:17 UTC
2018-06-08 08:23:17 UTC
Filip Sieczkowski
0
replies
[ANNOUNCE] Agda 2.5.4
started 2018-06-02 20:06:26 UTC
2018-06-02 20:06:26 UTC
Andrés Sicard-Ramírez
0
replies
Second Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018)
started 2018-05-29 19:10:26 UTC
2018-05-29 19:10:26 UTC
Andrei Chis
3
replies
[ANNOUNCE] Agda 2.5.4 release candidate 2
started 2018-05-26 05:20:46 UTC
2018-05-29 12:51:21 UTC
Nils Anders Danielsson
25
replies
[ANNOUNCE] Agda 2.5.4 release candidate 1
started 2018-05-21 19:59:22 UTC
2018-05-26 16:37:18 UTC
Arseniy Alekseyev
2
replies
implicit/explicit difference in candidate
started 2018-05-25 19:44:11 UTC
2018-05-26 09:54:26 UTC
Sergei Meshveliani
Click to Load More...
Loading...