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

Documentation: connection to Lustre #1

Open
ulysses4ever opened this issue Aug 27, 2020 · 4 comments
Open

Documentation: connection to Lustre #1

ulysses4ever opened this issue Aug 27, 2020 · 4 comments

Comments

@ulysses4ever
Copy link

Hi! I watched your talk at Haskell Symposium 2020 -- good job! You mentioned Lustre several times. Especially it seemed crucial for the answer to the question about handling temperature hysteresis ("if you can solve it in Lustre, you can solve it in Haski"). Is it the file system? Would it make sense to mention it in README? If not, feel free to close the issue.

@Abhiroop
Copy link
Member

@ulysses4ever I believe the authors were referring to Lustre the programming language - http://www-verimag.imag.fr/The-Lustre-Programming-Language-and and not the file system.

@ulysses4ever
Copy link
Author

@Abhiroop thanks for the clarification! I hope this could be added to the documentation.

@Abhiroop
Copy link
Member

Yes I agree, this is important for the documentation.

@nachivpn
Copy link
Member

That's right, the reference is to the programming language Lustre. Interestingly, this comment was also given on the paper by one of the reviewers! I'll make a note of this in the README to avoid this confusion.

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

No branches or pull requests

3 participants