Mailing List:
agda@lists.chalmers.se
Add newDisplay options
4
replies
using literals and the standard library
started 2018-12-05 05:31:14 UTC
2018-12-06 06:05:46 UTC
Martin Stone Davis
4
replies
installing on ghc-8.02
started 2018-12-04 12:30:04 UTC
2018-12-04 18:22:30 UTC
Sergei Meshveliani
1
reply
Type-checking errors with meta variables
started 2018-12-04 09:32:21 UTC
2018-12-04 15:35:46 UTC
Jesper Cockx
0
replies
10 PhD studentships in Nottingham
started 2018-12-04 08:25:24 UTC
2018-12-04 08:25:24 UTC
Graham Hutton
0
replies
Programming Language Foundations in Agda
started 2018-12-02 00:22:58 UTC
2018-12-02 00:22:58 UTC
Philip Wadler
0
replies
CoqPL 2019: Call for Participation
started 2018-11-29 13:09:50 UTC
2018-11-29 13:09:50 UTC
Robbert Krebbers
0
replies
Research positions in cryptography, blockchain, and formal verification at Aarhus
started 2018-11-24 01:26:48 UTC
2018-11-24 01:26:48 UTC
Bas Spitters
29
replies
I want implicit coercions in Agda
started 2018-11-08 20:16:03 UTC
2018-11-23 10:21:12 UTC
Nils Anders Danielsson
0
replies
PhD positions in Computer Science at University of Bergen
started 2018-11-22 17:22:45 UTC
2018-11-22 17:22:45 UTC
Håkon Robbestad Gylterud
4
replies
An error function and totality
started 2018-11-19 06:30:42 UTC
2018-11-20 09:22:20 UTC
Nils Anders Danielsson
0
replies
Some mistakes in the code on the 13th page of Pierre Kraft's thesis.
started 2018-11-19 20:49:14 UTC
2018-11-19 20:49:14 UTC
Serge Leblanc
0
replies
[Fwd: Re: I want implicit coercions in Agda]
started 2018-11-19 16:59:49 UTC
2018-11-19 16:59:49 UTC
Sergei Meshveliani
6
replies
What style of proof irrelevance do you prefer: annotated or inferred?
started 2018-10-28 21:01:28 UTC
2018-11-19 09:57:51 UTC
Thorsten Altenkirch
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
Click to Load More...
Loading...