Copilot/Examples at copilot2.0 · devmjc/Copilot

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
AddMult.hs		AddMult.hs
Cast.hs		Cast.hs
ClockExamples.hs		ClockExamples.hs
EngineExample.hs		EngineExample.hs
Examples.hs		Examples.hs
ExtFuns.hs		ExtFuns.hs
LTLExamples.hs		LTLExamples.hs
Local.hs		Local.hs
PTLTLExamples.hs		PTLTLExamples.hs
README		README
Random.hs		Random.hs
RegExpExamples.hs		RegExpExamples.hs
StackExamples.hs		StackExamples.hs
StatExamples.hs		StatExamples.hs
Test.hs		Test.hs
VotingExamples.hs		VotingExamples.hs

README

This directory contains a number of examples.  Examples.hs contains the simplest
examples as well as demonstrating how to use the interpreter and multiple
back-ends.  Other files demonstrate the use of Copilot libraries.

FilesExpand file tree

Examples

Directory actions

More options

Directory actions

More options

Latest commit

History

Examples

Folders and files

parent directory

README