January 2016 Archives by date

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

Starting: Sat Jan 2 17:31:38 CEST 2016
Ending: Wed Jan 20 15:56:09 CEST 2016
Messages: 8

• [Agda-dev] Positivity checker and abstract blocks   Andrés Sicard-Ramírez
• [Agda-dev] Positivity checker and abstract blocks   Andreas Abel
• [Agda-dev] Positivity checker and abstract blocks   Andrés Sicard-Ramírez
• [Agda-dev] How to run and edit interaction tests?   Jesper Cockx
• [Agda-dev] How to run and edit interaction tests?   Ulf Norell
• [Agda-dev] A new unifier for case splitting   Jesper Cockx
• [Agda-dev] Testsuite destroys FFI package installations!?   Andreas Abel
• [Agda-dev] Testsuite destroys FFI package installations!?   Philipp Hausmann

Last message date: Wed Jan 20 15:56:09 CEST 2016
Archived on: Wed Jan 20 15:56:12 CEST 2016

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