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.

Sign up for GitHub

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

Jump to bottom

[Feature Request] Add LaTeX and BibTeX language definitions from MSR's https://github.com/koka-lang/madoko #3233

Open
2 tasks done
vadimkantorov opened this issue Aug 6, 2022 · 1 comment
Open
2 tasks done

[Feature Request] Add LaTeX and BibTeX language definitions from MSR's https://github.com/koka-lang/madoko #3233

vadimkantorov opened this issue Aug 6, 2022 · 1 comment
Labels
feature-request Request for new features or functionality grammars help wanted Issues identified as good community contribution opportunities

Comments

@vadimkantorov
Copy link

Context

  • This issue is not a bug report. (please use a different template for reporting a bug)
  • This issue is not a duplicate of an existing issue. (please use the search to find existing issues)

Description

@daanx developed https://github.com/koka-lang/madoko/blob/master/styles/lang/latex.json and https://github.com/koka-lang/madoko/blob/master/styles/lang/bibtex.json . It would be nice to upstream them into this repo

Originally posted at: koka-lang/madoko#71
@vadimkantorov vadimkantorov added the feature-request Request for new features or functionality label Aug 6, 2022
@josealvarez97
Copy link

This is a good idea! Bumping this up.

@hediet hediet added help wanted Issues identified as good community contribution opportunities grammars labels Mar 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature-request Request for new features or functionality grammars help wanted Issues identified as good community contribution opportunities
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@vadimkantorov @hediet @josealvarez97