Skip to content

Conversation

AprupKale
Copy link

@AprupKale AprupKale commented Apr 7, 2025

Description

Change frontend to be compatible with [https://github.com/source-academy/java-slang/pull/70] and [https://github.com/source-academy/java-slang/pull/71]

Type of change

  • New feature (non-breaking change which adds functionality)

Checklist

  • I have tested this code

@AprupKale AprupKale added Enhancement New feature request _refactor labels Apr 7, 2025
@AprupKale AprupKale self-assigned this Apr 7, 2025
@RichDom2185 RichDom2185 force-pushed the java-slang-frontend branch from a691e34 to a9cca52 Compare June 16, 2025 09:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Enhancement New feature request _refactor
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants