Mailing List:
agda@lists.chalmers.se
Add newDisplay options
0
replies
VerifyThis 2018: Call for Participation and Travel Grants
started 2018-03-06 19:25:21 UTC
2018-03-06 19:25:21 UTC
Andrei Paskevich
2
replies
INLINE-pragma
started 2018-02-21 20:40:16 UTC
2018-03-06 16:14:05 UTC
Nils Anders Danielsson
4
replies
rewriting before defining
started 2018-03-01 00:07:23 UTC
2018-03-05 22:32:29 UTC
Thorsten Altenkirch
1
reply
Packaging Agda and compiling it ahead of time
started 2018-03-04 22:45:29 UTC
2018-03-05 16:01:56 UTC
James Wood
1
reply
Bug caused by new forcing translation
started 2018-03-05 13:23:12 UTC
2018-03-05 14:02:15 UTC
Ulf Norell
2
replies
Well-foundedness of list of well-founded elements
started 2018-03-04 12:37:24 UTC
2018-03-04 19:11:56 UTC
How Si Yu
9
replies
Typed DeBruijn, typed Phoas, and untyped DeBruijn
started 2018-02-27 19:26:52 UTC
2018-03-04 18:51:48 UTC
Philip Wadler
0
replies
PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures (First CfP)
started 2018-03-03 17:05:41 UTC
2018-03-03 17:05:41 UTC
Andreas Abel
0
replies
Mathematically Structured Functional Programming (MSFP 2018) Call for Papers
started 2018-03-03 06:11:58 UTC
2018-03-03 06:11:58 UTC
Shin-Cheng Mu
0
replies
[Deadline Monday!] TYPES 2018: final call for contributions
started 2018-03-03 00:34:08 UTC
2018-03-03 00:34:08 UTC
Andreas Abel
0
replies
Mathematically Structured Functional Programming 2018: Call for Papers
started 2018-03-02 18:36:13 UTC
2018-03-02 18:36:13 UTC
Robert Atkey
2
replies
Lists and products
started 2018-03-02 17:40:57 UTC
2018-03-02 18:07:20 UTC
Philip Wadler
2
replies
List of exports
started 2018-02-25 19:47:00 UTC
2018-03-01 14:42:40 UTC
Frederik Hanghøj Iversen
0
replies
WiL 2018: Women in Logic Workshop 2nd Call for Papers
started 2018-03-01 14:23:49 UTC
2018-03-01 14:23:49 UTC
Amy Felty
2
replies
(Semi)RingWithOne
started 2018-02-28 03:11:35 UTC
2018-02-28 15:51:33 UTC
Sergei Meshveliani
1
reply
¬ 0# ? 1#
started 2018-02-26 17:06:49 UTC
2018-02-26 23:08:58 UTC
Sergei Meshveliani
6
replies
Serialization to ByteString
started 2018-02-25 15:55:56 UTC
2018-02-25 23:04:45 UTC
Apostolis Xekoukoulotakis
2
replies
Proof involving Fin
started 2018-02-21 22:36:49 UTC
2018-02-21 23:15:38 UTC
Peter Thiemann
0
replies
VerifyThis 2018: Call for Problems and First Announcement
started 2018-02-21 22:10:40 UTC
2018-02-21 22:10:40 UTC
Andrei Paskevich
2
replies
C preprocessor with agda
started 2018-02-13 00:52:17 UTC
2018-02-21 20:25:07 UTC
Frederik Hanghøj Iversen
6
replies
Absolute links in html rendering of Agda files
started 2018-02-16 16:32:59 UTC
2018-02-20 20:36:53 UTC
Martin Escardo
0
replies
CfP: 4PAD 2018 - 5th International Symposium on Formal Approaches to Parallel and Distributed Systems
started 2018-02-18 23:31:10 UTC
2018-02-18 23:31:10 UTC
Frederic Loulergue
0
replies
Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)
started 2018-02-18 21:07:13 UTC
2018-02-18 21:07:13 UTC
Anders Mortberg
2
replies
Some problems with termination checker
started 2018-02-17 15:37:35 UTC
2018-02-18 17:20:50 UTC
Guillaume Allais
7
replies
Boolean and Decidable comparison
started 2018-02-16 02:26:55 UTC
2018-02-16 23:53:48 UTC
Philip Wadler
9
replies
Hoogle for Agda?
started 2018-02-15 21:52:09 UTC
2018-02-16 19:36:13 UTC
Andrés Sicard-Ramírez
0
replies
First Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018)
started 2018-02-16 15:29:11 UTC
2018-02-16 15:29:11 UTC
Andrei Chis
2
replies
Finer-grained library control in Agda
started 2018-02-16 14:59:59 UTC
2018-02-16 15:16:25 UTC
Ulf Norell
0
replies
Call for Posters: <Programming> 2018
started 2018-02-16 04:13:09 UTC
2018-02-16 04:13:09 UTC
Sylvia Grewe
0
replies
Midlands Graduate School 2018
started 2018-02-12 22:42:30 UTC
2018-02-12 22:42:30 UTC
Graham Hutton
Click to Load More...
Loading...