Mailing List:
agda@lists.chalmers.se
Add newDisplay options
0
replies
An error function and totality
started 2018-11-19 06:30:42 UTC
2018-11-19 06:30:42 UTC
Marko Dimjašević
18
replies
I want implicit coercions in Agda
started 2018-11-08 20:16:03 UTC
2018-11-19 06:08:16 UTC
Apostolis Xekoukoulotakis
5
replies
What style of proof irrelevance do you prefer: annotated or inferred?
started 2018-10-28 21:01:28 UTC
2018-11-19 01:31:00 UTC
James Chapman
2
replies
"No instance"
started 2018-11-17 11:35:18 UTC
2018-11-18 07:26:56 UTC
Sergei Meshveliani
19
replies
overloading operations
started 2018-11-08 18:16:04 UTC
2018-11-16 20:46:38 UTC
Guillermo Calderon
3
replies
Does Agda have this axiom?
started 2018-11-14 18:50:06 UTC
2018-11-14 19:38:36 UTC
Martin Escardo
0
replies
Homotopy Type Theory and Univalent Foundations conference in Oslo
started 2018-11-14 18:50:08 UTC
2018-11-14 18:50:08 UTC
Bjørn Ian Dundas
4
replies
cong with wildcard
started 2018-07-10 11:30:55 UTC
2018-11-14 17:30:12 UTC
Nils Anders Danielsson
3
replies
Call for Conference Grant Applications (Inclusiveness Target Countries)
started 2017-12-31 16:07:28 UTC
2018-11-12 09:12:07 UTC
Ambrus Kaposi
0
replies
Agda Implementors' Meeting XXIX - Tokyo, March 13 -- 19, 2019
started 2018-11-12 04:36:46 UTC
2018-11-12 04:36:46 UTC
Youyou Cong
1
reply
Termination checking in cubical mode
started 2018-11-09 01:08:32 UTC
2018-11-11 07:50:39 UTC
Dr. ERDI Gergo
9
replies
libraries for Bin
started 2018-07-02 09:46:14 UTC
2018-11-09 09:58:22 UTC
Sergei Meshveliani
0
replies
First Call for Papers: PACMPL issue ICFP 2019
started 2018-11-09 02:44:28 UTC
2018-11-09 02:44:28 UTC
Sam Tobin-Hochstadt
0
replies
parasitic arguments in equality proofs
started 2018-11-07 12:45:06 UTC
2018-11-07 12:45:06 UTC
Sergei Meshveliani
2
replies
lib for Development Agda
started 2018-11-06 11:56:34 UTC
2018-11-06 17:46:37 UTC
Guillaume Allais
0
replies
agda-ocaml - experimental backend
started 2018-11-05 21:43:58 UTC
2018-11-05 21:43:58 UTC
Apostolis Xekoukoulotakis
1
reply
Journal of Functional Programming - Call for PhD Abstracts
started 2018-11-05 09:19:28 UTC
2018-11-05 12:32:58 UTC
Andreas Abel
5
replies
Disable post projections?
started 2018-10-24 13:17:04 UTC
2018-11-02 11:48:05 UTC
Jesper Cockx
15
replies
Installing Idris without breaking Agda
started 2018-10-28 23:03:59 UTC
2018-10-31 21:25:00 UTC
Nils Anders Danielsson
3
replies
Equalities between elements of different sizes
started 2018-10-26 11:13:12 UTC
2018-10-31 15:46:13 UTC
Guillaume Allais
3
replies
[ANNOUNCE] Agda 2.5.4.2
started 2018-10-29 23:17:55 UTC
2018-10-30 14:10:24 UTC
Andres Sicard Ramirez
0
replies
Call For Workshop Proposals
started 2018-10-30 01:55:47 UTC
2018-10-30 01:55:47 UTC
Sam Tobin-Hochstadt
0
replies
ETAPS 2019 2nd joint call for papers
started 2018-10-28 07:30:08 UTC
2018-10-28 07:30:08 UTC
Tarmo Uustalu
1
reply
Initial Algebra Semantics for Lambda Calculus
started 2018-10-24 12:56:29 UTC
2018-10-28 07:30:06 UTC
Neil Ghani
0
replies
MirageOS unikernels written in Agda.
started 2018-10-28 01:34:34 UTC
2018-10-28 01:34:34 UTC
Apostolis Xekoukoulotakis
11
replies
Offer of Elisp help
started 2018-09-27 12:55:22 UTC
2018-10-25 11:07:10 UTC
Nils Anders Danielsson
3
replies
Certain Emacs commands not working; being reported as "undefined"
started 2018-10-16 16:10:16 UTC
2018-10-23 14:09:24 UTC
Andrea Vezzosi
0
replies
Standard library 0.17
started 2018-10-20 16:42:31 UTC
2018-10-20 16:42:31 UTC
Matthew Daggitt
0
replies
Participation in Google Summer of Code
started 2018-10-18 06:03:46 UTC
2018-10-18 06:03:46 UTC
Marko Dimjašević
3
replies
Impredicativity
started 2018-10-10 08:19:35 UTC
2018-10-10 08:55:25 UTC
Martin Escardo
Click to Load More...
Loading...