discokitty-0.1.0: DisCoCat implementation.

Safe HaskellSafe
LanguageHaskell2010

Discokitty.Examples.LesJustesMain

Documentation

with :: Multiword RelU Source #

yanek' :: Multiword RelU Source #

duke' :: Multiword RelU Source #

nephew' :: Multiword RelU Source #

bomb' :: Multiword RelU Source #

using' :: Multiword RelU Source #

and'' :: Multiword RelU Source #

attacks' :: Multiword RelU Source #

example5a :: Multiword RelU Source #

example5b :: Multiword RelU Source #

becomes' :: Multiword RelU Source #

revolutionary :: Multiword RelU Source #

kills''' :: Multiword RelU Source #

discarding' :: Multiword RelU Source #

he :: Multiword (Rel Universe) Source #

saviour :: Multiword (Rel Universe) Source #

terrorist :: Multiword (Rel Universe) Source #

alive :: Multiword (Rel Universe) Source #

is' :: Multiword (Rel Universe) Source #

(?) :: Multiword (Rel Universe) Source #

example6 :: Multiword RelU Source #

example7 :: Multiword RelU Source #

people :: Multiword RelU Source #

combat :: Multiword RelU Source #

enjoy :: Multiword RelU Source #

is_ :: Multiword RelU Source #

who :: Multiword RelU Source #

tsarist :: Multiword RelU Source #

tsarists :: Multiword RelU Source #

example8 :: Multiword RelU Source #

example9 :: Multiword RelU Source #

life :: Multiword RelU Source #

propaganda :: Multiword RelU Source #

innocent :: Multiword RelU Source #

poetry :: Multiword RelU Source #

chemistry :: Multiword RelU Source #

example10 :: Multiword RelU Source #

example11 :: Multiword RelU Source #