joshua/ons-hs
1
Fork 0
mirror of https://github.com/Jaxan/ons-hs.git synced 2025-06-06 06:57:45 +02:00
Code Issues Releases Activity

Update README.md

Browse source
This commit is contained in:
Joshua Moerman 2019-02-01 19:27:33 +01:00
parent 32d98267d1
commit fa2ee892f9
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -75,14 +75,14 @@ For example, for the most sensible instance, use this:
```Haskell ```Haskell
data StateSpace = Store [Atom] | Check [Atom] | Accept | Reject data StateSpace = Store [Atom] | Check [Atom] | Accept | Reject
deriving (Eq, Ord, GHC.Generic) deriving (Eq, Ord, GHC.Generic)
deriving Nominal via Generic DoubleWord deriving Nominal via Generic StateSpace
``` ```
If, however, you want a trivial group action on your data structure. (This is If, however, you want a trivial group action on your data structure. (This is
used for the data structure for equivariant sets.) Then you can use this: used for the data structure for equivariant sets.) Then you can use this:
```Haskell ```Haskell
newtype EquivariantSet a = EqSet { unEqSet :: Set (Orbit a) } newtype EquivariantSet a = ...
deriving Nominal via Trivial (EquivariantSet a) deriving Nominal via Trivial (EquivariantSet a)
``` ```