Mailing List:
agda@lists.chalmers.se
Add newDisplay options
1
reply
Impredicativity
started 2018-10-10 08:19:35 UTC
2018-10-10 08:29:50 UTC
Jesper Cockx
0
replies
[ Agda-Pkg ] The package manager
started 2018-10-09 15:54:06 UTC
2018-10-09 15:54:06 UTC
Jonathan Steven Prieto Cubides
10
replies
Questions about logic
started 2018-10-05 17:33:02 UTC
2018-10-06 19:28:18 UTC
Silvio Frischknecht
2
replies
Agda Compiler Alterations Guide
started 2018-10-01 14:44:48 UTC
2018-10-02 13:08:06 UTC
Musa Al-hassy
1
reply
Issue with sized types (max of two sizes less than i)
started 2018-09-27 16:45:18 UTC
2018-09-28 09:57:46 UTC
Nils Anders Danielsson
2
replies
Offer of Elisp help
started 2018-09-27 12:55:22 UTC
2018-09-28 09:25:18 UTC
Thorsten Altenkirch
2
replies
Proving properties about a datatype with a functional component
started 2018-09-26 09:18:34 UTC
2018-09-26 09:42:15 UTC
Martin Escardo
0
replies
Position of let statements and eager evaluation.
started 2018-09-26 02:51:48 UTC
2018-09-26 02:51:48 UTC
Apostolis Xekoukoulotakis
0
replies
a version for Fin
started 2018-09-24 17:07:27 UTC
2018-09-24 17:07:27 UTC
Sergei Meshveliani
2
replies
two questions on type checker
started 2018-09-24 12:50:45 UTC
2018-09-24 16:20:46 UTC
Guillaume Allais
0
replies
New blog post: Elaborating dependent (co)pattern matching
started 2018-09-23 22:17:32 UTC
2018-09-23 22:17:32 UTC
Jesper Cockx
2
replies
Bug report
started 2018-09-20 20:13:45 UTC
2018-09-20 21:22:19 UTC
Guillaume Allais
2
replies
Mechanized semantics of constraint/logic programming languages
started 2018-09-20 11:18:03 UTC
2018-09-20 12:22:50 UTC
Gabriel Scherer
2
replies
import behavior
started 2018-09-17 13:12:01 UTC
2018-09-17 13:50:38 UTC
Matthew Daggitt
0
replies
CPP 2019: Final Call for Papers
started 2018-09-17 11:55:30 UTC
2018-09-17 11:55:30 UTC
Magnus Myreen
0
replies
using (Acc _<_)
started 2018-09-16 11:32:11 UTC
2018-09-16 11:32:11 UTC
Sergei Meshveliani
0
replies
announcing Cedille 1.0.0
started 2018-09-14 19:38:13 UTC
2018-09-14 19:38:13 UTC
Aaron Stump
0
replies
Agda Implementors' Meeting XXVIII - Nottingham, October 15-20
started 2018-09-14 13:46:50 UTC
2018-09-14 13:46:50 UTC
Nicolai Kraus
1
reply
Literate Agda bit rot
started 2018-07-04 18:02:03 UTC
2018-09-14 13:00:16 UTC
Nils Anders Danielsson
3
replies
Type mismatch? Tipo miskongruas?
started 2018-09-13 15:01:48 UTC
2018-09-14 11:23:52 UTC
Nils Anders Danielsson
0
replies
Mathematics of Program Construction (MPC), Portugal, 2019
started 2018-09-10 12:13:31 UTC
2018-09-10 12:13:31 UTC
Graham Hutton
2
replies
`accessible' for ℕ
started 2018-08-31 12:30:36 UTC
2018-08-31 12:48:47 UTC
Sergei Meshveliani
0
replies
Binary-4 announcement
started 2018-08-28 18:13:57 UTC
2018-08-28 18:13:57 UTC
Sergei Meshveliani
0
replies
Positions at Nottingham
started 2018-08-27 07:31:03 UTC
2018-08-27 07:31:03 UTC
Thorsten Altenkirch
0
replies
8,9 Oct: EUTypes meeting in Aarhus
started 2018-08-26 13:39:24 UTC
2018-08-26 13:39:24 UTC
Bas Spitters
2
replies
Call for Conference Grant Applications (Inclusiveness Target Countries)
started 2017-12-31 16:07:28 UTC
2018-08-23 07:24:37 UTC
Ambrus Kaposi
2
replies
proposal with WellFounded
started 2018-08-21 11:09:00 UTC
2018-08-21 12:45:49 UTC
Ulf Norell
0
replies
New assistant/associate professor positions in Nottingham
started 2018-08-20 13:58:19 UTC
2018-08-20 13:58:19 UTC
Graham Hutton
0
replies
Standard library 0.16.1
started 2018-08-17 16:19:48 UTC
2018-08-17 16:19:48 UTC
Matthew Daggitt
0
replies
PhD thesis position on formal proofs and programming languages at Siemens Mobility, France
started 2018-08-17 13:29:13 UTC
2018-08-17 13:29:13 UTC
Danko Ilik
Click to Load More...
Loading...