Skip to content

JSON Instances - #127

Merged
kozross merged 20 commits into
milestone-4from
sean/json-instances
Oct 6, 2025
Merged

kozross merged 20 commits into
milestone-4from
sean/json-instances

Conversation

@gnumonik

@gnumonik gnumonik commented Oct 1, 2025 •

Copy link
Copy Markdown
Collaborator

Edit: This should be everything we need for M4 on my end.

gnumonik added 2 commits October 1, 2025 00:25
…k w/ Koz about how to hook this into the ASG helpers
@gnumonik
gnumonik requested a review from kozross October 1, 2025 04:28
gnumonik added 2 commits October 1, 2025 01:06
…ility, added comments explaining what helpers do, etc
Comment thread covenant.cabal Outdated
Comment thread src/Covenant/JSON.hs
Comment thread src/Covenant/JSON.hs Outdated
Comment thread src/Covenant/JSON.hs Outdated
Comment thread src/Covenant/JSON.hs Outdated
Comment thread src/Covenant/JSON.hs
Comment thread src/Covenant/JSON.hs Outdated
Comment thread src/Covenant/JSON.hs Outdated
Comment thread src/Covenant/JSON.hs
Comment thread src/Covenant/JSON.hs Outdated
@gnumonik
gnumonik marked this pull request as ready for review October 4, 2025 02:33
@gnumonik
gnumonik requested a review from kozross October 4, 2025 02:33
Comment thread src/Covenant/ASG.hs Outdated
Comment thread src/Covenant/JSON.hs
Comment thread src/Covenant/JSON.hs
Comment thread src/Covenant/JSON.hs Outdated
Comment thread src/Covenant/JSON.hs
Comment thread src/Covenant/ASG.hs Outdated
Comment thread src/Covenant/ASG.hs Outdated
@kozross
kozross merged commit 38c7d17 into milestone-4 Oct 6, 2025
13 checks passed
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