copilot/copilot/examples at master · Copilot-Language/copilot · GitHub

Content-Length: 245282 | pFad | https://github.com/Copilot-Language/copilot/tree/master/copilot/examples

39 copilot/copilot/examples at master · Copilot-Language/copilot · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
what4		what4
AddMult.hs		AddMult.hs
Array.hs		Array.hs
Cast.hs		Cast.hs
Clock.hs		Clock.hs
Counter.hs		Counter.hs
Engine.hs		Engine.hs
Heater.hs		Heater.hs
Structs.hs		Structs.hs
StructsUpdateField.hs		StructsUpdateField.hs
Voting.hs		Voting.hs
WCV.hs		WCV.hs