TtT (Terms to Transducers)

This is the tool on the paper "Compiling Effectful Terms to Transducers" presented at LOLA 2014.
A newer tool for web browsers is available here.

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.gitignore		.gitignore
AlgOpr.hs		AlgOpr.hs
Arrow.hs		Arrow.hs
Example.hs		Example.hs
FuncType.hs		FuncType.hs
Interpret.hs		Interpret.hs
InterpretAlgOpr.hs		InterpretAlgOpr.hs
InterpretPure.hs		InterpretPure.hs
Lambda.hs		Lambda.hs
Lens.hs		Lens.hs
Log.hs		Log.hs
Main.hs		Main.hs
Memory.hs		Memory.hs
MyShow.hs		MyShow.hs
Nat.hs		Nat.hs
NatEncoded.hs		NatEncoded.hs
NatRaw.hs		NatRaw.hs
Nondeterministic.hs		Nondeterministic.hs
OldExample.hs		OldExample.hs
OldInterpretPure.hs		OldInterpretPure.hs
ParseLambda.hs		ParseLambda.hs
Pointed.hs		Pointed.hs
README.md		README.md
Test.hs		Test.hs
Transducer.hs		Transducer.hs
TransducerAlgOpr.hs		TransducerAlgOpr.hs
input.txt		input.txt
output.txt		output.txt
sample.txt		sample.txt

Provide feedback