26El calor
2Respuesta
21El calor
1Respuesta
Averiguar qué metas no están resueltas en un programa de Agda
12El calor
1Respuesta
Tipos que contienen cláusulas de/rewrite en agda, o, ¿cómo usar rewrite en lugar de subst?
12El calor
1Respuesta
Re-Razonamiento y 'con' patrones
16El calor
2Respuesta
7El calor
1Respuesta
Evitar el postulado de extensionalidad al definir funciones no unarias sobre tipos de cociente
6El calor
1Respuesta
Terminación de la inducción estructural
5El calor
1Respuesta
Agda: mi código no escribe check (cómo obtener argumentos implícitos ¿verdad?)
7El calor
1Respuesta
conversión de código Haskell a Agda
5El calor
1Respuesta
congruencia por la igualdad heterogéneo