Mailing List:
agda@lists.chalmers.se
Add newDisplay options
4
replies
using literals and the standard library
started 2018-12-05 11:31:14 UTC
2018-12-06 12:05:46 UTC
Martin Stone Davis
4
replies
installing on ghc-8.02
started 2018-12-04 18:30:04 UTC
2018-12-05 00:22:30 UTC
Sergei Meshveliani
1
reply
Type-checking errors with meta variables
started 2018-12-04 15:32:21 UTC
2018-12-04 21:35:46 UTC
Jesper Cockx
0
replies
10 PhD studentships in Nottingham
started 2018-12-04 14:25:24 UTC
2018-12-04 14:25:24 UTC
Graham Hutton
0
replies
Programming Language Foundations in Agda
started 2018-12-02 06:22:58 UTC
2018-12-02 06:22:58 UTC
Philip Wadler
0
replies
CoqPL 2019: Call for Participation
started 2018-11-29 19:09:50 UTC
2018-11-29 19:09:50 UTC
Robbert Krebbers
0
replies
Research positions in cryptography, blockchain, and formal verification at Aarhus
started 2018-11-24 07:26:48 UTC
2018-11-24 07:26:48 UTC
Bas Spitters
29
replies
I want implicit coercions in Agda
started 2018-11-09 02:16:03 UTC
2018-11-23 16:21:12 UTC
Nils Anders Danielsson
0
replies
PhD positions in Computer Science at University of Bergen
started 2018-11-22 23:22:45 UTC
2018-11-22 23:22:45 UTC
Håkon Robbestad Gylterud
4
replies
An error function and totality
started 2018-11-19 12:30:42 UTC
2018-11-20 15: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-20 02:49:14 UTC
2018-11-20 02:49:14 UTC
Serge Leblanc
0
replies
[Fwd: Re: I want implicit coercions in Agda]
started 2018-11-19 22:59:49 UTC
2018-11-19 22:59:49 UTC
Sergei Meshveliani
6
replies
What style of proof irrelevance do you prefer: annotated or inferred?
started 2018-10-29 02:01:28 UTC
2018-11-19 15:57:51 UTC
Thorsten Altenkirch
2
replies
"No instance"
started 2018-11-17 17:35:18 UTC
2018-11-18 13:26:56 UTC
Sergei Meshveliani
19
replies
overloading operations
started 2018-11-09 00:16:04 UTC
2018-11-17 02:46:38 UTC
Guillermo Calderon
3
replies
Does Agda have this axiom?
started 2018-11-15 00:50:06 UTC
2018-11-15 01:38:36 UTC
Martin Escardo
0
replies
Homotopy Type Theory and Univalent Foundations conference in Oslo
started 2018-11-15 00:50:08 UTC
2018-11-15 00:50:08 UTC
Bjørn Ian Dundas
4
replies
cong with wildcard
started 2018-07-10 16:30:55 UTC
2018-11-14 23:30:12 UTC
Nils Anders Danielsson
3
replies
Call for Conference Grant Applications (Inclusiveness Target Countries)
started 2017-12-31 22:07:28 UTC
2018-11-12 15:12:07 UTC
Ambrus Kaposi
0
replies
Agda Implementors' Meeting XXIX - Tokyo, March 13 -- 19, 2019
started 2018-11-12 10:36:46 UTC
2018-11-12 10:36:46 UTC
Youyou Cong
1
reply
Termination checking in cubical mode
started 2018-11-09 07:08:32 UTC
2018-11-11 13:50:39 UTC
Dr. ERDI Gergo
9
replies
libraries for Bin
started 2018-07-02 14:46:14 UTC
2018-11-09 15:58:22 UTC
Sergei Meshveliani
0
replies
First Call for Papers: PACMPL issue ICFP 2019
started 2018-11-09 08:44:28 UTC
2018-11-09 08:44:28 UTC
Sam Tobin-Hochstadt
0
replies
parasitic arguments in equality proofs
started 2018-11-07 18:45:06 UTC
2018-11-07 18:45:06 UTC
Sergei Meshveliani
2
replies
lib for Development Agda
started 2018-11-06 17:56:34 UTC
2018-11-06 23:46:37 UTC
Guillaume Allais
0
replies
agda-ocaml - experimental backend
started 2018-11-06 03:43:58 UTC
2018-11-06 03:43:58 UTC
Apostolis Xekoukoulotakis
1
reply
Journal of Functional Programming - Call for PhD Abstracts
started 2018-11-05 15:19:28 UTC
2018-11-05 18:32:58 UTC
Andreas Abel
5
replies
Disable post projections?
started 2018-10-24 18:17:04 UTC
2018-11-02 16:48:05 UTC
Jesper Cockx
15
replies
Installing Idris without breaking Agda
started 2018-10-29 04:03:59 UTC
2018-11-01 02:25:00 UTC
Nils Anders Danielsson
3
replies
Equalities between elements of different sizes
started 2018-10-26 16:13:12 UTC
2018-10-31 20:46:13 UTC
Guillaume Allais
Click to Load More...
Loading...