Compare commits
1 Commits
e35859e206
...
80b1b3581a
Author | SHA1 | Date |
---|---|---|
rhiannon morris | 80b1b3581a |
|
@ -9,12 +9,12 @@ depends = base, contrib, elab-util, sop, snocvect, eff, prettier
|
|||
|
||||
modules =
|
||||
Text.PrettyPrint.Bernardy.Core.Decorate,
|
||||
Control.Monad.ST.Extra,
|
||||
Quox.BoolExtra,
|
||||
Quox.CharExtra,
|
||||
Quox.NatExtra,
|
||||
Quox.EffExtra,
|
||||
Quox.Decidable,
|
||||
Control.Monad.ST.Extra,
|
||||
Quox.No,
|
||||
Quox.Loc,
|
||||
Quox.OPE,
|
||||
|
|
Loading…
Reference in New Issue