maciej-bendkowski/generic-boltzmann-brain
1
1
Fork 0
mirror of https://github.com/maciej-bendkowski/generic-boltzmann-brain.git synced 2024-11-22 10:51:19 +03:00
Code Issues Projects Releases Wiki Activity

Remove Generic from the README

Browse Source
This commit is contained in:
Maciej Bendkowski 2022-04-01 18:58:07 +02:00
parent 17d19f6b21
commit 3ba303ad86
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
README.md
View File

@ -24,7 +24,7 @@ import Data.Boltzmann
data BinTree data BinTree
= Leaf = Leaf
| Node BinTree BinTree | Node BinTree BinTree
deriving (Generic, Show) deriving (Show)
``` ```
one can construct a corresponding Boltzmann sampler in a single line of code one can construct a corresponding Boltzmann sampler in a single line of code
@ -82,13 +82,13 @@ Consider the following example of lambda terms in [DeBruijn notation](https://en
data DeBruijn data DeBruijn
= Z = Z
| S DeBruijn | S DeBruijn
deriving (Generic, Show) deriving (Show)
data Lambda data Lambda
= Index DeBruijn = Index DeBruijn
| App Lambda Lambda | App Lambda Lambda
| Abs Lambda | Abs Lambda
deriving (Generic, Show) deriving (Show)
``` ```
Suppose that we want a size notion where all constructors have weight Suppose that we want a size notion where all constructors have weight
@ -135,7 +135,7 @@ notions are required. Simply create a `newtype` wrapper and generate a let
``` hs ``` hs
newtype BinLambda = MkBinLambda Lambda newtype BinLambda = MkBinLambda Lambda
deriving (Generic, Show) deriving (Show)
mkBoltzmannSampler mkBoltzmannSampler
System System