Skip to content

Issues: smucclaw/lam4

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

45 Open 25 Closed
45 Open 25 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Add validator to warn against using Relations for now
#118 opened Sep 21, 2024 by ym-han For the first Lam4 demo
@ym-han
Add enums
#114 opened Sep 21, 2024 by ym-han For the first Lam4 demo
Add a validator to warn user if they use at least one but not all of the params in an 'infix' predicate definition langium-validator
#98 opened Sep 18, 2024 by ym-han Post-first-demo improvements
@ym-han
Implement / Automate the interaction between RF frontend and Servant webservice
#95 opened Sep 17, 2024 by ym-han For the first Lam4 demo
Write up and test docs for how to set up the Lam4 stuff, after the LSP etc works in the browser
#94 opened Sep 17, 2024 by ym-han For the first Lam4 demo
Set up a simple browser-based IDE; in particular, get Lam4 LSP to run in the browser with Monaco (or Codemirror if not too much more work) help wanted Extra attention is needed
#93 opened Sep 17, 2024 by ym-han Post-first-demo improvements
[Optional for first demo] Langium grammar: Convert braces to indentation; adjust rest of grammar accordingly to account for indentation sensitivity help wanted Extra attention is needed langium-parser
#89 opened Sep 14, 2024 by ym-han For the first Lam4 demo
Set up simple CI infra
#88 opened Sep 14, 2024 by ym-han Post-first-demo improvements
Add validators -- not just to get more validation over what the parser can offer, but also to improve error messages
#87 opened Sep 13, 2024 by ym-han For the first Lam4 demo
Add tests
#85 opened Sep 13, 2024 by ym-han For the first Lam4 demo
Finish the first-pass alignment of the Langium grammar with the backend CST so that Inari is not blocked on the prettyprinter
#83 opened Sep 12, 2024 by ym-han For the first Lam4 demo
@ym-han
[ToSimala] Scoping: Check if the way I'm translating names is correct --- might need to just use Uniques instead of Uniques concatenated with reftext compiler-engineering
#79 opened Sep 12, 2024 by ym-han For the first Lam4 demo
@ym-han
Think through how to produce an interview / questionnaire from a Lam4 specification. What further constructs are required for this, if any?
#77 opened Sep 11, 2024 by ym-han
[Type checker] Add Enum type
#75 opened Sep 10, 2024 by ym-han
@ym-han
Package Lam4 up / add dev environment, probably using Nix (with the ability to generate containers) help wanted Extra attention is needed infra
#73 opened Sep 9, 2024 by ym-han
1
Grammar: Refactor the metadata constructs; come up with surface syntax for transparency / annotating the explanations langium-parser
#72 opened Sep 9, 2024 by ym-han
1 of 2 tasks
Post-first-demo improvements
@ym-han
1
Add Logger to Haskell backend, prob by just adapting / copying fendor's from main branch L4
#70 opened Sep 7, 2024 by ym-han
@ym-han
Consider tweaking concrete syntax to make it easier to pretty print
#68 opened Sep 5, 2024 by ym-han
@ym-han
Improve Langium parser errors langium-parser
#55 opened Aug 26, 2024 by ym-han
[Infra] Build bridge / interop between Langium and a Haskell-side / lam4-backend 'language server' / language services provider
#52 opened Aug 22, 2024 by ym-han
Work with Inari to get a 'rendering' of part of the concrete Lam4 syntax
#49 opened Aug 21, 2024 by ym-han
@inariksit @ym-han
[ConcreteSyntax] Consider using RULE instead of DECIDE ... IF priority: high syntax
#47 opened Aug 20, 2024 by ym-han
@ym-han
[Semantics] How to handle state / deontics semantics
#46 opened Aug 19, 2024 by ym-han
[Docs] Streamline the README (move things into docs); clarify rationale for Lam4 documentation Improvements or additions to documentation refactor
#43 opened Aug 17, 2024 by ym-han
@ym-han
Add support for date-related computations / reasoning, whether in surface syntax or in standard libraries
#42 opened Aug 16, 2024 by ym-han
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.