mirror of
https://github.com/github/semantic.git
synced 2024-12-20 05:11:44 +03:00
📝 Open.
This commit is contained in:
parent
8b41c2bdfb
commit
c75defc821
@ -39,6 +39,7 @@ deriving instance Member NonDet effects => Alternative (Evaluator term address v
|
|||||||
deriving instance Member (Lift IO) effects => MonadIO (Evaluator term address value effects)
|
deriving instance Member (Lift IO) effects => MonadIO (Evaluator term address value effects)
|
||||||
|
|
||||||
|
|
||||||
|
-- | An open-recursive function.
|
||||||
type Open a = a -> a
|
type Open a = a -> a
|
||||||
|
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user