Merge pull request #254 from well-typed/edsko/delete-demo

Drop the demo
well-typed · Oct 25, 2024 · 638ec3e · 638ec3e
2 parents e4040a8 + 90534f5
commit 638ec3e
Show file tree

Hide file tree

Showing 23 changed files with 1 addition and 2,042 deletions.
diff --git a/grapesy/docs/stress-tests.md → dev/stress-tests.md b/grapesy/docs/stress-tests.md → dev/stress-tests.md
diff --git a/grapesy/demo-client/Demo/Client/API/Core/Greeter.hs b/grapesy/demo-client/Demo/Client/API/Core/Greeter.hs
diff --git a/grapesy/demo-client/Demo/Client/API/Core/NoFinal/Greeter.hs b/grapesy/demo-client/Demo/Client/API/Core/NoFinal/Greeter.hs
diff --git a/grapesy/demo-client/Demo/Client/API/Core/RouteGuide.hs b/grapesy/demo-client/Demo/Client/API/Core/RouteGuide.hs
diff --git a/grapesy/demo-client/Demo/Client/API/StreamType/Conduit/RouteGuide.hs b/grapesy/demo-client/Demo/Client/API/StreamType/Conduit/RouteGuide.hs
diff --git a/grapesy/demo-client/Demo/Client/API/StreamType/IO/Greeter.hs b/grapesy/demo-client/Demo/Client/API/StreamType/IO/Greeter.hs
diff --git a/grapesy/demo-client/Demo/Client/API/StreamType/IO/Ping.hs b/grapesy/demo-client/Demo/Client/API/StreamType/IO/Ping.hs
diff --git a/grapesy/demo-client/Demo/Client/API/StreamType/IO/RouteGuide.hs b/grapesy/demo-client/Demo/Client/API/StreamType/IO/RouteGuide.hs
diff --git a/grapesy/demo-client/Demo/Client/API/StreamType/MonadStack/Greeter.hs b/grapesy/demo-client/Demo/Client/API/StreamType/MonadStack/Greeter.hs