Skip to content

Remove liquid-patform#2267

Merged
facundominguez merged 6 commits into
developfrom
fd/rm-liquid-platform
Feb 5, 2024
Merged

Remove liquid-patform#2267
facundominguez merged 6 commits into
developfrom
fd/rm-liquid-platform

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Embed CoreToLogic.lg into liquidhaskell-boot

1 participant