Mailing List:
agda@lists.chalmers.se
Add newDisplay options
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
1
reply
"unsolved metas" in candidate
started 2018-05-25 18:49:12 UTC
2018-05-25 18:58:19 UTC
Sergei Meshveliani
2
replies
Pretty Print Line Length
started 2018-05-23 19:41:21 UTC
2018-05-24 10:51:22 UTC
Philip Wadler
29
replies
new generalize feature, first version
started 2018-03-29 12:13:48 UTC
2018-05-22 16:44:29 UTC
Peter Divianszky
0
replies
Autumn school "Proof and Computation"
started 2018-05-21 21:00:52 UTC
2018-05-21 21:00:52 UTC
Chuangjie Xu
17
replies
The joys and sorrows of abstraction
started 2018-05-15 22:27:37 UTC
2018-05-21 20:39:19 UTC
Andreas Abel
0
replies
Formal Methods internship at Arm Research
started 2018-05-21 20:29:19 UTC
2018-05-21 20:29:19 UTC
Dominic Mulligan
0
replies
New deadline for paper submission to SBLP 2018
started 2018-05-21 19:59:22 UTC
2018-05-21 19:59:22 UTC
Carlos Camarao
5
replies
Blog post: The Agda's New Sorts
started 2018-05-04 08:45:57 UTC
2018-05-21 19:43:46 UTC
Jon Sterling
9
replies
How does one debug a programme that one has proved correct?
started 2018-05-04 17:44:55 UTC
2018-05-16 13:41:18 UTC
Philip Wadler
0
replies
Numerical Methods in Functional Programming (CfP)
started 2018-05-13 15:04:00 UTC
2018-05-13 15:04:00 UTC
d***@steinitz.org
0
replies
Bishop's work on Type Theory
started 2018-05-04 23:08:27 UTC
2018-05-04 23:08:27 UTC
Martin Escardo
4
replies
Symmetry
started 2018-05-03 11:49:03 UTC
2018-05-04 16:09:16 UTC
Philip Wadler
3
replies
AIM XXVII - Göteborg, 4 – 9 June 2018
started 2018-04-11 09:37:50 UTC
2018-05-02 12:24:16 UTC
Jesper Cockx
3
replies
strange "Unreachable clause"
started 2018-05-02 10:35:28 UTC
2018-05-02 11:44:06 UTC
Sergei Meshveliani
0
replies
Trends in Functional Programming: deadline for extended abstracts extended
started 2018-05-02 11:08:52 UTC
2018-05-02 11:08:52 UTC
Andreas Abel
2
replies
how to set level
started 2018-04-30 13:42:38 UTC
2018-05-01 13:09:37 UTC
Sergei Meshveliani
0
replies
3rd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
started 2018-05-01 05:27:06 UTC
2018-05-01 05:27:06 UTC
Jurriaan Hage
0
replies
final call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg - deadline extended -
started 2018-04-30 09:29:59 UTC
2018-04-30 09:29:59 UTC
Peter Achten
0
replies
Journal of Functional Programming - Call for PhD Abstracts
started 2018-04-30 08:50:08 UTC
2018-04-30 08:50:08 UTC
Graham Hutton
5
replies
Allow cyclic module imports
started 2018-04-25 20:01:25 UTC
2018-04-28 20:22:49 UTC
Tom Murphy
7
replies
agda-mode input method
started 2018-04-26 08:28:26 UTC
2018-04-26 13:48:01 UTC
Nils Anders Danielsson
6
replies
Redundant imports
started 2018-04-23 19:55:03 UTC
2018-04-25 12:23:14 UTC
Martin Escardo
2
replies
ASN.1 and type theory
started 2018-04-20 15:06:56 UTC
2018-04-22 19:00:31 UTC
David Wahlstedt
0
replies
SBLP 2018 deadline extension
started 2018-04-22 12:38:30 UTC
2018-04-22 12:38:30 UTC
Carlos Camarao
5
replies
Infix in Modules with Parameters
started 2018-04-18 18:50:35 UTC
2018-04-19 13:28:19 UTC
Guillaume Allais
Click to Load More...
Loading...