copilot-core-3.0: An intermediate representation for Copilot.

Safe HaskellSafe
LanguageHaskell2010

Copilot.Core.Interpret.Render

Description

An tagless interpreter for Copilot specifications.

Documentation