October 2020 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Thu Oct 1 21:49:04 CEST 2020
Ending: Wed Oct 28 10:55:54 CET 2020
Messages: 10

• [Agda-dev] Fwd: Agda as a target language   Dmytro Kondratiuk
  • [Agda-dev] Fwd: Agda as a target language   Ulf Norell
    • [Agda-dev] Fwd: Agda as a target language   Dmytro Kondratiuk
• [Agda-dev] A tutorial on inference in Agda   Roman
  • [Agda-dev] A tutorial on inference in Agda   Andreas Abel
    • [Agda-dev] A tutorial on inference in Agda   Roman
• [Agda-dev] Release candidate for Agda 2.6.1.2   Andreas Abel
  • [Agda-dev] Release candidate for Agda 2.6.1.2   Andrés Sicard-Ramírez
    • [Agda-dev] Release candidate for Agda 2.6.1.2   Andreas Abel
• [Agda-dev] Mysteries of the GHC recompilation checker   Andreas Abel

Last message date: Wed Oct 28 10:55:54 CET 2020
Archived on: Wed Oct 28 10:55:57 CET 2020

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...