Jean Abou Samra jeanas · he/him
jeanas opened issue 1lab/mikan#124 2026年05月28日 15:21:58 +02:00
Turn "missing with-clauses" into a warning?
jeanas commented on issue 1lab/mikan#78 2026年05月06日 00:07:17 +02:00
Add nice syntax for Σ types

I see that this was discussed in https://github.com/agda/agda/issues/5201

jeanas opened issue 1lab/mikan#79 2026年05月06日 00:00:37 +02:00
Make λ arguments always interpreted as patterns?
jeanas opened issue 1lab/mikan#78 2026年05月05日 23:52:43 +02:00
Add nice syntax for Σ types