diff --git a/examples/02_demonstration/demo.midas b/examples/02_demonstration/currency/demo.midas similarity index 100% rename from examples/02_demonstration/demo.midas rename to examples/02_demonstration/currency/demo.midas diff --git a/examples/02_demonstration/demo.py b/examples/02_demonstration/currency/demo.py similarity index 100% rename from examples/02_demonstration/demo.py rename to examples/02_demonstration/currency/demo.py diff --git a/examples/02_demonstration/demo_stubs.pyi b/examples/02_demonstration/demo_stubs.pyi deleted file mode 100644 index 6615018..0000000 --- a/examples/02_demonstration/demo_stubs.pyi +++ /dev/null @@ -1,14 +0,0 @@ -from __future__ import annotations -from typing import Generic, TypeVar - -class Currency(float): ... - -_T0 = TypeVar("_T0", bound=Currency, covariant=True) - -class Price(Currency, Generic[_T0]): - def __add__(self, _0: Price[_T0], /) -> Price[_T0]: ... - -class EUR(Currency): ... -class USD(Currency): ... -class CHF(Currency): ... -class Discount(float): ...