Mailing List:
agda@lists.chalmers.se
Add newDisplay options
2
replies
Cannot unquote non-canonical type checking computation
started 2018-03-16 12:35:34 UTC
2018-03-17 14:56:19 UTC
Apostolis Xekoukoulotakis
0
replies
FoPPS Logic and Learning School (Oxford, July 1-6)
started 2018-03-17 00:01:27 UTC
2018-03-17 00:01:27 UTC
Andrzej Murawski
0
replies
Federated Logic Conference student travel support
started 2018-03-15 18:47:46 UTC
2018-03-15 18:47:46 UTC
Jeremy Avigad
0
replies
Tenure track Assistant Professor in Computer Science directed towards Logic of Programs (Deadline: April 3)
started 2018-03-15 17:41:15 UTC
2018-03-15 17:41:15 UTC
Erik Palmgren
1
reply
+-*- swap in library
started 2018-03-13 20:12:17 UTC
2018-03-15 14:23:14 UTC
Matthew Daggitt
0
replies
Call for Participation: <Programming> 2018 in Nice
started 2018-03-14 17:32:46 UTC
2018-03-14 17:32:46 UTC
Sylvia Grewe
0
replies
1st CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
started 2018-03-13 07:48:54 UTC
2018-03-13 07:48:54 UTC
Jurriaan Hage
0
replies
[ANNOUNCE] Standard library 0.15
started 2018-03-12 16:21:56 UTC
2018-03-12 16:21:56 UTC
Matthew Daggitt
0
replies
Midlands Graduate School 2018 - final call for participation
started 2018-03-12 09:50:21 UTC
2018-03-12 09:50:21 UTC
Graham Hutton
1
reply
module _{a b}
started 2018-03-10 20:28:01 UTC
2018-03-10 23:10:59 UTC
Matthew Daggitt
0
replies
Final Call for Papers: PACMPL issue ICFP 2018
started 2018-03-08 20:08:33 UTC
2018-03-08 20:08:33 UTC
Lindsey Kuper
6
replies
coinductively defined families
started 2018-03-07 13:58:12 UTC
2018-03-08 13:27:13 UTC
Thorsten Altenkirch
0
replies
1st call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg
started 2018-03-07 14:23:27 UTC
2018-03-07 14:23:27 UTC
Peter Achten
0
replies
LFMTP - call for papers
started 2018-03-07 11:06:38 UTC
2018-03-07 11:06:38 UTC
Ana Bove
0
replies
LFMTP'18: Logical Frameworks and Meta Languages: Theory and Practice - Call for Papers
started 2018-03-07 06:58:00 UTC
2018-03-07 06:58:00 UTC
Frédéric Blanqui
3
replies
debugPrint : Does it work correctly?
started 2018-03-06 19:36:44 UTC
2018-03-07 05:56:23 UTC
Ulf Norell
0
replies
Feedback on upcoming version of the standard library
started 2018-03-06 14:08:07 UTC
2018-03-06 14:08:07 UTC
Matthew Daggitt
0
replies
VerifyThis 2018: Call for Participation and Travel Grants
started 2018-03-06 13:25:21 UTC
2018-03-06 13:25:21 UTC
Andrei Paskevich
2
replies
INLINE-pragma
started 2018-02-21 14:40:16 UTC
2018-03-06 10:14:05 UTC
Nils Anders Danielsson
4
replies
rewriting before defining
started 2018-02-28 18:07:23 UTC
2018-03-05 16:32:29 UTC
Thorsten Altenkirch
1
reply
Packaging Agda and compiling it ahead of time
started 2018-03-04 16:45:29 UTC
2018-03-05 10:01:56 UTC
James Wood
1
reply
Bug caused by new forcing translation
started 2018-03-05 07:23:12 UTC
2018-03-05 08:02:15 UTC
Ulf Norell
2
replies
Well-foundedness of list of well-founded elements
started 2018-03-04 06:37:24 UTC
2018-03-04 13:11:56 UTC
How Si Yu
9
replies
Typed DeBruijn, typed Phoas, and untyped DeBruijn
started 2018-02-27 13:26:52 UTC
2018-03-04 12:51:48 UTC
Philip Wadler
0
replies
PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures (First CfP)
started 2018-03-03 11:05:41 UTC
2018-03-03 11:05:41 UTC
Andreas Abel
0
replies
Mathematically Structured Functional Programming (MSFP 2018) Call for Papers
started 2018-03-03 00:11:58 UTC
2018-03-03 00:11:58 UTC
Shin-Cheng Mu
0
replies
[Deadline Monday!] TYPES 2018: final call for contributions
started 2018-03-02 18:34:08 UTC
2018-03-02 18:34:08 UTC
Andreas Abel
0
replies
Mathematically Structured Functional Programming 2018: Call for Papers
started 2018-03-02 12:36:13 UTC
2018-03-02 12:36:13 UTC
Robert Atkey
2
replies
Lists and products
started 2018-03-02 11:40:57 UTC
2018-03-02 12:07:20 UTC
Philip Wadler
2
replies
List of exports
started 2018-02-25 13:47:00 UTC
2018-03-01 08:42:40 UTC
Frederik Hanghøj Iversen
Click to Load More...
Loading...