Mailing List:
agda@lists.chalmers.se
Add newDisplay options
0
replies
2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
started 2018-04-03 07:11:17 UTC
2018-04-03 07:11:17 UTC
Jurriaan Hage
27
replies
new generalize feature, first version
started 2018-03-29 12:13:48 UTC
2018-04-02 12:03:35 UTC
Peter Divianszky
0
replies
Mathematically Structured Functional Programming 2018: Final Call for Papers
started 2018-03-31 21:33:35 UTC
2018-03-31 21:33:35 UTC
Robert Atkey
6
replies
Checking the types of terms
started 2018-03-06 20:12:06 UTC
2018-03-31 12:36:54 UTC
Peter Hancock
0
replies
SBLP 2018 second call for papers
started 2018-03-29 12:07:39 UTC
2018-03-29 12:07:39 UTC
Carlos Camarao
0
replies
Confusion about rewrite mechanism
started 2018-03-29 11:28:10 UTC
2018-03-29 11:28:10 UTC
VinaLx
4
replies
strictness place
started 2018-03-28 08:54:48 UTC
2018-03-28 15:45:34 UTC
Wolfram Kahl
0
replies
literature on Coq page
started 2018-03-28 12:27:36 UTC
2018-03-28 12:27:36 UTC
Sergei Meshveliani
4
replies
Instance resolution question
started 2018-03-28 04:39:31 UTC
2018-03-28 07:23:37 UTC
Apostolis Xekoukoulotakis
1
reply
Is bottom initial without functional extensionality?
started 2018-03-26 23:15:47 UTC
2018-03-27 09:09:52 UTC
Jesper Cockx
1
reply
`Pointwise' over Setoid
started 2018-03-24 10:33:03 UTC
2018-03-24 13:02:40 UTC
Matthew Daggitt
4
replies
Right Distributivity
started 2018-03-22 20:55:19 UTC
2018-03-22 23:49:27 UTC
Philip Wadler
9
replies
Syntax declarations
started 2018-03-18 13:22:24 UTC
2018-03-21 17:08:17 UTC
Philip Wadler
2
replies
nullary copattern matching
started 2018-03-20 22:12:27 UTC
2018-03-21 11:00:21 UTC
Thorsten Altenkirch
5
replies
Partiality/delay monad [was: proofs for (NON)TERMINATING]
started 2018-03-08 08:02:20 UTC
2018-03-20 17:39:15 UTC
Nils Anders Danielsson
4
replies
Confused about rewriting
started 2018-03-18 00:15:05 UTC
2018-03-20 16:35:24 UTC
Philip Wadler
0
replies
Midlands Graduate School - extended registration deadline
started 2018-03-19 14:46:05 UTC
2018-03-19 14:46:05 UTC
Graham Hutton
4
replies
Bug in simplification?
started 2018-03-17 17:59:05 UTC
2018-03-18 12:55:35 UTC
Philip Wadler
0
replies
Call for Tutorial Proposals: ICFP 2018
started 2018-03-18 04:07:25 UTC
2018-03-18 04:07:25 UTC
Lindsey Kuper
0
replies
Posts in security in Swansea (possibly connected to Agda) deadline Fri 22/3/18
started 2018-03-18 00:21:55 UTC
2018-03-18 00:21:55 UTC
Setzer A.G.
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
Click to Load More...
Loading...