GitHub - ramntry/sll-meta-haskell: "Metacomputation and its Applications" implemented for SLL

ramntry / sll-meta-haskell Public

forked from ilya-klyuchnikov/sll-meta-haskell

"Metacomputation and its Applications" implemented for SLL

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
Examples		Examples
Tests		Tests
.gitignore		.gitignore
Data.hs		Data.hs
DataIO.hs		DataIO.hs
DataUtil.hs		DataUtil.hs
Driving.hs		Driving.hs
Examples.hs		Examples.hs
GenVar.hs		GenVar.hs
Interpreter.hs		Interpreter.hs
NeighborhoodAnalysis.hs		NeighborhoodAnalysis.hs
SmallStepInterpreter.hs		SmallStepInterpreter.hs
TreeInterpreter.hs		TreeInterpreter.hs
URA.hs		URA.hs