├── LICENSE ├── README └── src └── FRP └── LTL ├── ISet.agda ├── ISet ├── Causal.agda ├── Core.agda ├── Decoupled.agda ├── Empty.agda ├── Future.agda ├── Globally.agda ├── Next.agda ├── Product.agda ├── Stateless.agda ├── Sum.agda ├── Unit.agda └── Until.agda ├── RSet.agda ├── RSet ├── Causal.agda ├── Core.agda ├── Decoupled.agda ├── Empty.agda ├── Future.agda ├── Globally.agda ├── Next.agda ├── Product.agda ├── Stateless.agda ├── Sum.agda ├── Unit.agda └── Until.agda ├── Time.agda ├── Time ├── Bound.agda └── Interval.agda └── Util.agda /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/LICENSE -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/README -------------------------------------------------------------------------------- /src/FRP/LTL/ISet.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/ISet.agda -------------------------------------------------------------------------------- /src/FRP/LTL/ISet/Causal.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/ISet/Causal.agda -------------------------------------------------------------------------------- /src/FRP/LTL/ISet/Core.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/ISet/Core.agda -------------------------------------------------------------------------------- /src/FRP/LTL/ISet/Decoupled.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/ISet/Decoupled.agda -------------------------------------------------------------------------------- /src/FRP/LTL/ISet/Empty.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/ISet/Empty.agda -------------------------------------------------------------------------------- /src/FRP/LTL/ISet/Future.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/ISet/Future.agda -------------------------------------------------------------------------------- /src/FRP/LTL/ISet/Globally.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/ISet/Globally.agda -------------------------------------------------------------------------------- /src/FRP/LTL/ISet/Next.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/ISet/Next.agda -------------------------------------------------------------------------------- /src/FRP/LTL/ISet/Product.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/ISet/Product.agda -------------------------------------------------------------------------------- /src/FRP/LTL/ISet/Stateless.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/ISet/Stateless.agda -------------------------------------------------------------------------------- /src/FRP/LTL/ISet/Sum.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/ISet/Sum.agda -------------------------------------------------------------------------------- /src/FRP/LTL/ISet/Unit.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/ISet/Unit.agda -------------------------------------------------------------------------------- /src/FRP/LTL/ISet/Until.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/ISet/Until.agda -------------------------------------------------------------------------------- /src/FRP/LTL/RSet.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/RSet.agda -------------------------------------------------------------------------------- /src/FRP/LTL/RSet/Causal.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/RSet/Causal.agda -------------------------------------------------------------------------------- /src/FRP/LTL/RSet/Core.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/RSet/Core.agda -------------------------------------------------------------------------------- /src/FRP/LTL/RSet/Decoupled.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/RSet/Decoupled.agda -------------------------------------------------------------------------------- /src/FRP/LTL/RSet/Empty.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/RSet/Empty.agda -------------------------------------------------------------------------------- /src/FRP/LTL/RSet/Future.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/RSet/Future.agda -------------------------------------------------------------------------------- /src/FRP/LTL/RSet/Globally.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/RSet/Globally.agda -------------------------------------------------------------------------------- /src/FRP/LTL/RSet/Next.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/RSet/Next.agda -------------------------------------------------------------------------------- /src/FRP/LTL/RSet/Product.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/RSet/Product.agda -------------------------------------------------------------------------------- /src/FRP/LTL/RSet/Stateless.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/RSet/Stateless.agda -------------------------------------------------------------------------------- /src/FRP/LTL/RSet/Sum.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/RSet/Sum.agda -------------------------------------------------------------------------------- /src/FRP/LTL/RSet/Unit.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/RSet/Unit.agda -------------------------------------------------------------------------------- /src/FRP/LTL/RSet/Until.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/RSet/Until.agda -------------------------------------------------------------------------------- /src/FRP/LTL/Time.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/Time.agda -------------------------------------------------------------------------------- /src/FRP/LTL/Time/Bound.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/Time/Bound.agda -------------------------------------------------------------------------------- /src/FRP/LTL/Time/Interval.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/Time/Interval.agda -------------------------------------------------------------------------------- /src/FRP/LTL/Util.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-frp-ltl/HEAD/src/FRP/LTL/Util.agda --------------------------------------------------------------------------------