lib:copilot

Modules

• Language.Copilot

Dependencies

• base lib:base >=4.0 && <=5.0
• copilot-core lib:copilot-core >=0.2.3
• copilot-language lib:copilot-language >=0.4
• copilot-libraries lib:copilot-libraries >=0.4

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• copilot exe:addmult
• copilot exe:array
• copilot exe:cast
• copilot exe:clock
• copilot exe:counter
• copilot exe:engine
• copilot exe:heater
• copilot exe:voting
• copilot exe:wcv
• copilot exe:what4-arithmetic
• copilot exe:what4-propositional
• copilot exe:what4-structs