Search results

Pretty printer for IR

lowerer

Status: Open.

#64 In coln-project/Coln;

· incipit0 opened on Jun 22, 2026

Introduce license in the package.json in coln-js-runtime as well

Status: Open.

#60 In coln-project/Coln;

· incipit0 opened on Jun 19, 2026

Put license information at top of each file

Status: Open.

#55 In coln-project/Coln;

· olynch opened on Jun 19, 2026

@coln-project/coln-js-runtime --> @coln-project/runtime

Status: Open.

#54 In coln-project/Coln;

· olynch opened on Jun 19, 2026

Add tests for TypeScript FFI and IR

Status: Open.

#46 In coln-project/Coln;

· olynch opened on Jun 19, 2026

Investigate hash cons data structures in coln-store

coln-store

Status: Open.

#34 In coln-project/Coln;

· incipit0 opened on Jun 17, 2026

Introduce deletion & update as operations

coln-store

Status: Open.

#32 In coln-project/Coln;

· incipit0 opened on Jun 17, 2026

Format checks for Haskell

enhancementNew feature or requestNew feature or request

Status: Open.

#26 In coln-project/Coln;

· olynch opened on Jun 8, 2026

Inline let-definitions in sig and struct

elaborator

enhancementNew feature or requestNew feature or request

Status: Open.

#25 In coln-project/Coln;

· olynch opened on Jun 8, 2026

Debug commands in more places

elaborator

enhancementNew feature or requestNew feature or request

Status: Open.

#24 In coln-project/Coln;

· olynch opened on Jun 8, 2026

Expand should fully expand

elaborator

enhancementNew feature or requestNew feature or request

Status: Open.

#23 In coln-project/Coln;

· olynch opened on Jun 8, 2026

Avoid "lambda" in user-facing messages

Status: Open.

#22 In coln-project/Coln;

· manormandala opened on Jun 8, 2026