Search results

🤔 How to create completion items when OCaml-style local opens are involved?

Status: Open.

#139 In RedPRL/yuujinchou;

· kentookura opened on Nov 19, 2024

🔤 Use OCaml 5.3 effect syntax

Status: Open.

#136 In RedPRL/yuujinchou;

· favonia opened on Sep 27, 2024

🦇 Agda-like batch applications

Status: Open.

#135 In RedPRL/yuujinchou;

· favonia opened on Aug 19, 2024

🧐 Investigate the alternative scoping in Narya

Status: Open.

#134 In RedPRL/yuujinchou;

· favonia opened on Aug 14, 2024

🍛 Curry the API (more)

Status: Open.

#131 In RedPRL/yuujinchou;

· favonia opened on Jun 18, 2024

·  

6.0.0 (big change)

🔍 Provide the API to easily support "did you mean...?"

Status: Open.

#122 In RedPRL/yuujinchou;

· favonia opened on Oct 26, 2023

·  

6.0.0 (big change)

📚 Rewrite introduction

Status: Open.

#121 In RedPRL/yuujinchou;

· favonia opened on Oct 20, 2023

·  

5.x

❓ Detection of possibly ambiguous unions

Status: Open.

#115 In RedPRL/yuujinchou;

· favonia opened on Sep 13, 2023

·  

6.0.0 (big change)

🔍 Detection of fragile unions and/or imports

Status: Open.

#113 In RedPRL/yuujinchou;

· favonia opened on Aug 30, 2023

·  

6.0.0 (big change)

Reverse name lookup

Status: Open.

#112 In RedPRL/yuujinchou;

· favonia opened on Aug 30, 2023

·  

6.0.0 (big change)