Issues - rhi/quox - gec git gec git

New Issue

type checker loop in pushCoe

#38 by rhi was closed 2024-02-24 10:05:24 -05:00

check the #[main] function is the right type

#37 by rhi was closed 2024-04-14 15:15:35 -04:00

allow "fst e"/"snd e" as an application head

#34 by rhi was closed 2023-12-04 12:48:43 -05:00

add pair η to Whnf.Coercion

#32 by rhi was closed 2023-11-03 13:15:31 -04:00

full equality check in coercion boundary

#26 by rhi was closed 2024-04-18 16:18:20 -04:00

coe sometimes gets stuck on a Clo

#11 by rhi was closed 2023-07-16 21:50:57 -04:00