2022 Archives by date
Starting: Mon Jan 3 02:00:00 CET 2022
Ending: Mon Dec 19 22:25:14 CET 2022
Messages: 192
- [Agda] PEPM 2022 - Call for Participation
Youyou Cong
- [Agda] Call for STSMs, deadline 16 January 2022
Ambrus Kaposi
- [Agda] A stupid question to start off the New Year
Philip Wadler
- [Agda] A stupid question to start off the New Year
Conor McBride
- [Agda] A stupid question to start off the New Year
Philip Wadler
- [Agda] A stupid question to start off the New Year
James Wood
- [Agda] A stupid question to start off the New Year
Philip Wadler
- [Agda] A stupid question to start off the New Year
Peter Thiemann
- [Agda] Getting Agda building and running on Windows
Aaron Gray
- [Agda] A stupid question to start off the New Year
James Wood
- [Agda] A stupid question to start off the New Year
James Wood
- [Agda] Getting Agda building and running on Windows
Anton Setzer
- [Agda] Getting Agda building and running on Windows
Jason Hu
- [Agda] Getting Agda building and running on Windows
Felix Cherubini
- [Agda] Getting Agda building and running on Windows
Ingo Blechschmidt
- [Agda] More rewrite woes
Philip Wadler
- [Agda] More rewrite woes
Jason Hu
- [Agda] More rewrite woes
Philip Wadler
- [Agda] [TFP'22] second call for papers: Trends in Functional Programming 2022 moved to March 17-18 online (together with TFPiE)
Peter Achten
- [Agda] Release of Lambdapi 2.1.0
Frédéric Blanqui
- [Agda] using different stdlib
Jason Hu
- [Agda] using different stdlib
Nils Anders Danielsson
- [Agda] Quirk: C-c C-n thinks that some symbols are not in scope
Eduardo Ochs
- [Agda] Quirk: C-c C-n thinks that some symbols are not in scope
Jesper Cockx
- [Agda] Quirk: C-c C-n thinks that some symbols are not in scope
Eduardo Ochs
- [Agda] Quirk: C-c C-n thinks that some symbols are not in scope
Thorsten Altenkirch
- [Agda] Quirk: C-c C-n thinks that some symbols are not in scope
Andreas Abel
- [Agda] Quirk: C-c C-n thinks that some symbols are not in scope
Anton Setzer
- [Agda] Quirk: C-c C-n thinks that some symbols are not in scope
Martin Escardo
- [Agda] Quirk: C-c C-n thinks that some symbols are not in scope
James Wood
- [Agda] Instead of a REPL
Eduardo Ochs
- [Agda] HoTT/UF 2022: Call for Contributions
Benedikt Ahrens
- [Agda] First Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)
Andrei Chis
- [Agda] strange Termination problem
mechvel at scico.botik.ru
- [Agda] strange Termination problem
Jason Hu
- [Agda] strange Termination problem
mechvel at scico.botik.ru
- [Agda] strange Termination problem
mechvel at scico.botik.ru
- [Agda] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
Nicolai Kraus
- [Agda] [TFP'22] final call for papers: Trends in Functional Programming 2022 (deadline March 7 2022)
Peter Achten
- [Agda] [CFP]19th Int. Conf. on Smart Business Technologies :: Submission Deadline - 2nd of March
calendarsites at insticc.org
- [Agda] Postdoc and PhD position in homotopy type theory
Nicolai Kraus
- [Agda] PhD Position in Number Theory and Formalization
Andrei Popescu
- [Agda] Call for STSMs, deadline 3 April 2022
Ambrus Kaposi
- [Agda] [Call for participation] TFPiE and TFP online events March 16-18
Peter Achten
- [Agda] Midlands Graduate School: Accommodation and second (final) call for participation
Nicolai Kraus
- [Agda] GPCE 2022 Call for Papers
Youyou Cong
- [Agda] [ANNOUNCE] Agda 2.6.2.2 release candidate
Andreas Abel
- [Agda] Call for STSMs, deadline 3 April 2022
Ambrus Kaposi
- [Agda] [CFP] New Submission Opportunity :: Smart Business Technologies 2022 (April 21, 2022)
calendarsites at insticc.org
- [Agda] [ANNOUNCE] Agda 2.6.2.2 release candidate 2
Andreas Abel
- [Agda] School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April
Marco Maggesi
- [Agda] [ANNOUNCE] Agda 2.6.2.2
Andreas Abel
- [Agda] Best font for Windows?
David Banas
- [Agda] Best font for Windows?
Jason Hu
- [Agda] when with-abstraction fails?
Jason Hu
- [Agda] when with-abstraction fails?
Georgi Lyubenov
- [Agda] when with-abstraction fails?
Jason Hu
- [Agda] Agda Implementors' Meeting XXXV
Oskar Eriksson
- [Agda] Simple(?) cubical agda isomorphism
Dan Krejsa
- [Agda] Simple(?) cubical agda isomorphism
Tom Jack
- [Agda] Simple(?) cubical agda isomorphism
Dan Krejsa
- [Agda] Proof seemingly takes far too long to check?
depsterr
- [Agda] Proof seemingly takes far too long to check?
depsterr
- [Agda] Proof seemingly takes far too long to check?
mechvel at scico.botik.ru
- [Agda] Proof seemingly takes far too long to check?
depsterr
- [Agda] ICFP'22 Artifact Evaluation Committee: call for nominations
Jannis Limperg
- [Agda] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield
Andrei Popescu
- [Agda] Agda Implementors' Meeting XXXV
Oskar Eriksson
- [Agda] HoTTEST Summer School July+August 2022
Ulrik Buchholtz
- [Agda] SPLASH 2022 Final Call for Workshop Proposals
Andreea Costea
- [Agda] BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!
Andrei Popescu
- [Agda] when with-abstraction fails?
Andreas Abel
- [Agda] Journal of Functional Programming - Call For PhD Abstracts
Graham Hutton
- [Agda] AIM XXXV Pub (local Gothenburg event)
Andreas Abel
- [Agda] HoTT/UF 2022: Second Call for Contributions
Evan Cavallo
- [Agda] Workshop in honour of Thierry Coquand's 60th birthday
Ana Bove
- [Agda] Extended Deadline for HoTT/UF 2022: 15 May
Evan Cavallo
- [Agda] Assistant Professorships in Nottingham
Graham Hutton
- [Agda] 2nd CfP (deadline 27 May): Autumn school "Proof and Computation" 2022
Chuangjie Xu
- [Agda] Call for Papers: Workshop on Type-Driven Development (TyDe)
Harley D. Eades III
- [Agda] ICFP 2022 Student Research Competition: Final Call for Submissions
Danel Ahman
- [Agda] FixPoint.unfold-wfRec, but for lexicographic induction?
Siek, Jeremy
- [Agda] FixPoint.unfold-wfRec, but for lexicographic induction?
Siek, Jeremy
- [Agda] Call for STSMs, deadline 1 July 2022
Ambrus Kaposi
- [Agda] id number in html?
Jason Hu
- [Agda] id number in html?
Nils Anders Danielsson
- [Agda] id number in html?
Jason Hu
- [Agda] id number in html?
Jason Hu
- [Agda] id number in html?
Nils Anders Danielsson
- [Agda] id number in html?
Nils Anders Danielsson
- [Agda] id number in html?
Jason Hu
- [Agda] Call for TYPES Steering Committee Nominations
Henning Basold
- [Agda] id number in html?
Nils Anders Danielsson
- [Agda] An exercise in typing
Roman
- [Agda] An exercise in typing
Jason Hu
- [Agda] An exercise in typing
Roman
- [Agda] An exercise in typing
Ulf Norell
- [Agda] An exercise in typing
Roman
- [Agda] An exercise in typing
Ulf Norell
- [Agda] An exercise in typing
Roman
- [Agda] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages
Pieter Koopman
- [Agda] Release of Dkcheck 2.7, a type-checker for Dedukti files
Frédéric Blanqui
- [Agda] Last call for participation: Workshop in honour of Thierry Coquand's 60th birthday
Ana Bove
- [Agda] An exercise in typing
Roman
- [Agda] Call for STSMs, deadline 1 July 2022
Ambrus Kaposi
- [Agda] An exercise in typing
Arseniy Alekseyev
- [Agda] Version mixup
Philip Wadler
- [Agda] Version mixup
Nils Anders Danielsson
- [Agda] Version mixup
Philip Wadler
- [Agda] Version mixup
Jason Hu
- [Agda] Version mixup
Nils Anders Danielsson
- [Agda] Version mixup
Philip Wadler
- [Agda] Version mixup
Nils Anders Danielsson
- [Agda] Version mixup
Sandro Stucki
- [Agda] CSL'23 - last call for papers
Bartek Klin
- [Agda] Version mixup
Philip Wadler
- [Agda] Second Call for Papers: 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)
Andrei Chis
- [Agda] SPLASH 2022 - Combined Call For Contributions
Andreea Costea
- [Agda] Call for talks/participation - EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs
Frédéric Blanqui
- [Agda] GPCE 2022 Second Call for Papers
Youyou Cong
- [Agda] 2nd CFP - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages
Pieter Koopman
- [Agda] Equality in strict total order
cyberfined
- [Agda] Equality in strict total order
James Wood
- [Agda] Postdoc Vacancy at St Andrews
Christopher Brown
- [Agda] Call for Papers: Eelco Visser Commemorative Symposium
Andrei Chis
- [Agda] Matching on crisp refl leads to error
Felix Cherubini
- [Agda] Call for participation: EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs
Frédéric Blanqui
- [Agda] Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022
Orestis Melkonian
- [Agda] 1st Call for Papers: PADL 2023
Michael Hanus
- [Agda] IFL22: Early registration deadline August 15th
Pieter Koopman
- [Agda] Path to success with Agda?
Ignat Insarov
- [Agda] Path to success with Agda?
Jason Hu
- [Agda] Path to success with Agda?
Peter Hancock
- [Agda] Path to success with Agda?
William DeMeo
- [Agda] Path to success with Agda?
Ignat Insarov
- [Agda] Path to success with Agda?
Jason Hu
- [Agda] Path to success with Agda?
Andrew Pitts
- [Agda] Path to success with Agda?
Miëtek Bak
- [Agda] Path to success with Agda?
Andrew Pitts
- [Agda] Path to success with Agda?
mechvel at scico.botik.ru
- [Agda] Path to success with Agda?
Pedro Abreu
- [Agda] Path to success with Agda?
Thorsten Altenkirch
- [Agda] Last call for participation: EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs
Frédéric Blanqui
- [Agda] Path to success with Agda?
Andreas Nuyts
- [Agda] Path to success with Agda?
Thorsten Altenkirch
- [Agda] «Extensionally but not definitionally equal» — can I say that?
Ignat Insarov
- [Agda] «Extensionally but not definitionally equal» — can I say that?
Thorsten Altenkirch
- [Agda] «Extensionally but not definitionally equal» — can I say that?
Apostolis Xekoukoulotakis
- [Agda] «Extensionally but not definitionally equal» — can I say that?
Thorsten Altenkirch
- [Agda] «Extensionally but not definitionally equal» — can I say that?
Apostolis Xekoukoulotakis
- [Agda] «Extensionally but not definitionally equal» — can I say that?
Andreas Nuyts
- [Agda] «Extensionally but not definitionally equal» — can I say that?
Nicolai Kraus
- [Agda] «Extensionally but not definitionally equal» — can I say that?
Tarik ÖZKANLI
- [Agda] «Extensionally but not definitionally equal» — can I say that?
Apostolis Xekoukoulotakis
- [Agda] Libraries for (finite) topological spaces?
Eduardo Ochs
- [Agda] Thorsten's 60th birthday
Nicolai Kraus
- [Agda] 2nd Call for Papers: PADL 2023
Michael Hanus
- [Agda] [TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming
Peter Achten
- [Agda] Eelco Visser Commemorative Symposium – 2nd Call for Papers
Andrei Chis
- [Agda] PLMW at POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)
Favonia
- [Agda] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022
Jonathan Protzenko
- [Agda] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct
Nicolai Kraus
- [Agda] Two postdocs in Type theory for mathematics and computer science
Ana Bove
- [Agda] PADL 2023: Final Call for Papers (with updated deadlines!)
Michael Hanus
- [Agda] Blog post about agda2hs
Jesper Cockx
- [Agda] Blog post about agda2hs
mechvel at scico.botik.ru
- [Agda] Four (4) PhD student positions in dependent type theory for mathematics and computer science
Ana Bove
- [Agda] Faculty position in Logical Foundations at the University of Cambridge
Neel Krishnaswami
- [Agda] LAST CALL: Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022
Orestis Melkonian
- [Agda] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)
Fredrik Nordvall Forsberg
- [Agda] CFP for PEPM 2023 (Deadline extended)
Edwin Brady
- [Agda] CFP for PEPM 2023 (Deadline extended)
Edwin Brady
- [Agda] Challenge: can you exploit a known bug in Cubical Agda?
Andreas Abel
- [Agda] Challenge: can you exploit a known bug in Cubical Agda?
Jan Bessai
- [Agda] Journal of Functional Programming - Call for PhD Abstracts
Graham Hutton
- [Agda] Postdoc position at the University of Birmingham
vincent rahli
- [Agda] [ANNOUNCE] Agda 2.6.3 release candidate 1
Andrés Sicard-Ramírez
- [Agda] [ ANNOUNCE ] Standard library v1.7.2 - release candidate 1
Matthew Daggitt
- [Agda] Instructions how to setup your system for hacking on Agda (AIM XXXI)
Andreas Abel
- [Agda] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct
Aaron Gray
- [Agda] Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC
Andrei Popescu
- [Agda] [TFP 2023 2nd Call for Papers] 24th International Symposium on Trends in Functional Programming
Peter Achten
- [Agda] FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023)
Ralph Matthes
- [Agda] 10 PhD studentships in Nottingham
Graham Hutton
- [Agda] Fully funded PhD positions in PL theory and interactive theorem proving at Heriot-Watt University in Edinburgh
Sieczkowski, Filip K
- [Agda] [ANNOUNCE] Agda 2.6.3 release candidate 2
Andrés Sicard-Ramírez
- [Agda] Call for STSMs, deadline 1 January 2023
Ambrus Kaposi
- [Agda] Dutch FP Day - Call for participation
Swierstra, W.S. (Wouter)
- [Agda] 2 Associate professor positions at CSE, Chalmers
Ana Bove
- [Agda] Positions at Birmingham, UK, Computer Science
Martin Escardo
- [Agda] 2nd Call for Contributions FICS 2023: Workshop on Fixed Points in Computer Science
Ralph Matthes
- [Agda] chatgpt and agda
warrick scott
Last message date:
Mon Dec 19 22:25:14 CET 2022
Archived on: Mon Dec 19 22:25:21 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).