MatrixAI / Overwatch

Distributed Infrastructure Telemetry
2 stars 0 forks source link

LTL/FRP Article #3

Closed CMCDragonkai closed 6 years ago

CMCDragonkai commented 6 years ago

Due for 31st March. @olligobber Please fill in a proposal for this month.

Articles about QoS, Overwatch and Language Design

olligobber commented 6 years ago

Proposal: An introduction to Linear Temporal Logic, and its parallels with Functional Reactive Programming. Needs a shorter title than that though.