FStarLang / FStarLang/kuiper

Implement for loops

Open
#12 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
F*
Stars
15
Forks
1
Avg merge
9h 19m
Merged PRs (30d)
49

Description

Would make output much nicer

Contributor guide

No contributing guide indexed for this repository

Research direction

The issue only requests for-loop support and does not name files, tests, or an entry point. Start by locating the parser and language-feature tests, then determine the intended loop syntax and semantics before implementation. Done should include agreed behavior and passing tests for for loops.

Written by the indexing model from the issue text.

Assessment

Domain
compilers
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
15/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.