Safe Haskell | Safe-Infered |
---|
Copilot.Core.Interpret.Render
Description
An tagless interpreter for Copilot specifications.
copilot-core-0.2.3: An intermediate representation for Copilot.
Safe Haskell | Safe-Infered |
---|
Copilot.Core.Interpret.Render
Description
An tagless interpreter for Copilot specifications.