JetBrains / JetBrains/Arend

Modifiable source library

Open
#258 0 comments 0 reactions 0 assignees View on GitHub
library repl
Dominant language
Java
Stars
756
Forks
31
PR merge metrics
No merged PRs in 30d

Description

For Repl, I guess.

Contributor guide

No contributing guide indexed for this repository

Research direction

The issue only mentions a modifiable source library for the REPL and names no files or tests. Start by locating the REPL entry point and existing source-library handling, then clarify the intended modification model and acceptance criteria before coding. Done is undefined until those requirements are agreed.

Written by the indexing model from the issue text.

Assessment

Tech stack
java
Domain
cli
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
20/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.