Pull Requests - rhi/quox - gec git gec git

New Pull Request

coercion regularity

#43 by rhi was merged 2024-04-18 16:18:20 -04:00

check type of #[main]

#42 by rhi was merged 2024-04-14 15:15:35 -04:00

debug logging

#40 by rhi was merged 2024-04-14 06:13:24 -04:00

WIP: log

#39 by rhi was closed 2024-04-04 13:27:13 -04:00

let

#36 by rhi was merged 2023-12-04 17:41:07 -05:00

allow fst, snd, case to be application heads

#35 by rhi was merged 2023-12-04 12:48:43 -05:00

#[fail]

#30 by rhi was merged 2023-09-24 11:39:29 -04:00

erasure and also baby's first scheme backend

#29 by rhi was merged 2023-11-03 13:06:42 -04:00

η for pairs

#28 by rhi was merged 2023-09-19 17:22:34 -04:00

WIP: 𝕎

#25 by rhi was closed 2023-11-16 15:21:11 -05:00

10 conflicting files

default quantity of 1

#19 by rhi was merged 2023-07-21 11:58:19 -04:00

WIP: co-de bruijn

#12 by rhi was closed 2023-07-16 21:51:19 -04:00

2 conflicting files