Skip to content

Instantly share code, notes, and snippets.

@Termina1

Termina1/eff_test.idr

Created February 11, 2017 10:29
Show Gist options
  • Save Termina1/95c63077bc7f0be22550d759be6bbab3 to your computer and use it in GitHub Desktop.
Save Termina1/95c63077bc7f0be22550d759be6bbab3 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
eff_test.idr
validateAstAndConvertToStore' : TLProgram -> Eff () [STATE TLStore]
validateAstAndConvertToStore' x = ?validateAstAndConvertToStore'_rhs
validateAstAndConvertToStore : TLProgram -> TLStore
validateAstAndConvertToStore x = let initStore = MkTLStore empty empty empty in
let test = run (validateAstAndConvertToStore' x) in
?hole
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment