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