GitHub - jasigal/handlers-in-action: An implementation of the "Handlers in action" calculus in the K Framework

jasigal / handlers-in-action Public

An implementation of the "Handlers in action" calculus in the K Framework

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.gitignore		.gitignore
case.handler		case.handler
handler.handler		handler.handler
handlerprime.k		handlerprime.k
lambda.handler		lambda.handler
let.handler		let.handler
split-capture.handler		split-capture.handler
split.handler		split.handler
state.handler		state.handler
stateGeneric.handler		stateGeneric.handler
test.handler		test.handler