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

Adding Cees Coster #533

Merged
merged 1 commit into from
Jun 21, 2024
Merged

Adding Cees Coster #533

merged 1 commit into from
Jun 21, 2024

Conversation

VictorEijkhout
Copy link
Contributor

Cornelis Coster

Cornelis Coster
@breck7 breck7 merged commit 9e24f09 into breck7:main Jun 21, 2024
@breck7
Copy link
Owner

breck7 commented Jun 21, 2024

Thanks @VictorEijkhout !

I built on your contribution to add some more info we were missing: f36cb0a

@VictorEijkhout
Copy link
Contributor Author

VictorEijkhout commented Jun 21, 2024 via email

@breck7
Copy link
Owner

breck7 commented Jun 22, 2024

Sorry for the trouble @VictorEijkhout ! I just made a screencast showing how I add languages if that is helpful at all:

https://pldb.io/posts/addLanguageDemo.html

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants