Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add support for the language Agda #2430

Merged
merged 7 commits into from Jun 24, 2020
Merged

Add support for the language Agda #2430

merged 7 commits into from Jun 24, 2020

Conversation

@ghost
Copy link

@ghost ghost commented Jun 24, 2020

This PR adds support for the language Agda.

Copy link
Member

@RunDevelopment RunDevelopment left a comment

Thank you for making this language definition @xy-ren!

I left you a few comments with questions and suggestions.
Also, please keep in mind that we use tab for indentation.

components/prism-agda.js Outdated Show resolved Hide resolved
components/prism-agda.js Outdated Show resolved Hide resolved
components/prism-agda.js Outdated Show resolved Hide resolved
components/prism-agda.js Outdated Show resolved Hide resolved
components/prism-agda.js Outdated Show resolved Hide resolved
components/prism-agda.js Outdated Show resolved Hide resolved
Xy Ren added 2 commits Jun 24, 2020
- Fix wrongly parsed comments
- Allow >1 spaces after `data|record`
- Sort keywords by ASCII order
- Remove redundant parts
@ghost ghost requested a review from RunDevelopment Jun 24, 2020
@RunDevelopment RunDevelopment merged commit 3a127c7 into PrismJS:master Jun 24, 2020
1 check passed
@RunDevelopment
Copy link
Member

@RunDevelopment RunDevelopment commented Jun 24, 2020

Thank you very much for contributing @xy-ren!

quentinvernot added a commit to TankerHQ/prismjs that referenced this issue Sep 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

1 participant