3284 Threads
10970 Posts
Ranked #1137
First post
2004-11-03 21:45:46 UTC
Mailing List:
agda@lists.chalmers.se
Add new
Display options
Show
threads
Order By
Last Message Date - Newest First
Last Message Date - Oldest First
Replycount - Most First
Replycount - Less First
Save
3
replies
[ANNOUNCE] Agda 2.5.4.2
started
2018-10-30 04:17:55 UTC
2018-10-30 19:10:24 UTC
Andres Sicard Ramirez
0
replies
Call For Workshop Proposals
started
2018-10-30 06:55:47 UTC
2018-10-30 06:55:47 UTC
Sam Tobin-Hochstadt
0
replies
ETAPS 2019 2nd joint call for papers
started
2018-10-28 12:30:08 UTC
2018-10-28 12:30:08 UTC
Tarmo Uustalu
1
reply
Initial Algebra Semantics for Lambda Calculus
started
2018-10-24 17:56:29 UTC
2018-10-28 12:30:06 UTC
Neil Ghani
0
replies
MirageOS unikernels written in Agda.
started
2018-10-28 06:34:34 UTC
2018-10-28 06:34:34 UTC
Apostolis Xekoukoulotakis
11
replies
Offer of Elisp help
started
2018-09-27 17:55:22 UTC
2018-10-25 16:07:10 UTC
Nils Anders Danielsson
3
replies
Certain Emacs commands not working; being reported as "undefined"
started
2018-10-16 21:10:16 UTC
2018-10-23 19:09:24 UTC
Andrea Vezzosi
0
replies
Standard library 0.17
started
2018-10-20 21:42:31 UTC
2018-10-20 21:42:31 UTC
Matthew Daggitt
0
replies
Participation in Google Summer of Code
started
2018-10-18 11:03:46 UTC
2018-10-18 11:03:46 UTC
Marko Dimjašević
3
replies
Impredicativity
started
2018-10-10 13:19:35 UTC
2018-10-10 13:55:25 UTC
Martin Escardo
0
replies
[ Agda-Pkg ] The package manager
started
2018-10-09 20:54:06 UTC
2018-10-09 20:54:06 UTC
Jonathan Steven Prieto Cubides
10
replies
Questions about logic
started
2018-10-05 22:33:02 UTC
2018-10-07 00:28:18 UTC
Silvio Frischknecht
2
replies
Agda Compiler Alterations Guide
started
2018-10-01 19:44:48 UTC
2018-10-02 18:08:06 UTC
Musa Al-hassy
1
reply
Issue with sized types (max of two sizes less than i)
started
2018-09-27 21:45:18 UTC
2018-09-28 14:57:46 UTC
Nils Anders Danielsson
2
replies
Proving properties about a datatype with a functional component
started
2018-09-26 14:18:34 UTC
2018-09-26 14:42:15 UTC
Martin Escardo
0
replies
Position of let statements and eager evaluation.
started
2018-09-26 07:51:48 UTC
2018-09-26 07:51:48 UTC
Apostolis Xekoukoulotakis
0
replies
a version for Fin
started
2018-09-24 22:07:27 UTC
2018-09-24 22:07:27 UTC
Sergei Meshveliani
2
replies
two questions on type checker
started
2018-09-24 17:50:45 UTC
2018-09-24 21:20:46 UTC
Guillaume Allais
0
replies
New blog post: Elaborating dependent (co)pattern matching
started
2018-09-24 03:17:32 UTC
2018-09-24 03:17:32 UTC
Jesper Cockx
2
replies
Bug report
started
2018-09-21 01:13:45 UTC
2018-09-21 02:22:19 UTC
Guillaume Allais
2
replies
Mechanized semantics of constraint/logic programming languages
started
2018-09-20 16:18:03 UTC
2018-09-20 17:22:50 UTC
Gabriel Scherer
2
replies
import behavior
started
2018-09-17 18:12:01 UTC
2018-09-17 18:50:38 UTC
Matthew Daggitt
0
replies
CPP 2019: Final Call for Papers
started
2018-09-17 16:55:30 UTC
2018-09-17 16:55:30 UTC
Magnus Myreen
0
replies
using (Acc _<_)
started
2018-09-16 16:32:11 UTC
2018-09-16 16:32:11 UTC
Sergei Meshveliani
0
replies
announcing Cedille 1.0.0
started
2018-09-15 00:38:13 UTC
2018-09-15 00:38:13 UTC
Aaron Stump
0
replies
Agda Implementors' Meeting XXVIII - Nottingham, October 15-20
started
2018-09-14 18:46:50 UTC
2018-09-14 18:46:50 UTC
Nicolai Kraus
1
reply
Literate Agda bit rot
started
2018-07-04 23:02:03 UTC
2018-09-14 18:00:16 UTC
Nils Anders Danielsson
3
replies
Type mismatch? Tipo miskongruas?
started
2018-09-13 20:01:48 UTC
2018-09-14 16:23:52 UTC
Nils Anders Danielsson
0
replies
Mathematics of Program Construction (MPC), Portugal, 2019
started
2018-09-10 17:13:31 UTC
2018-09-10 17:13:31 UTC
Graham Hutton
2
replies
`accessible' for ℕ
started
2018-08-31 17:30:36 UTC
2018-08-31 17:48:47 UTC
Sergei Meshveliani
Click to Load More...
Loading...