arianvp / types-and-statemachines Public

Research project about types and state machines, and their applications in HTTP

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
scratchpads		scratchpads
.gitignore		.gitignore
ConorMcBrideIO.agda		ConorMcBrideIO.agda
Door.agda		Door.agda
Experiments.agda		Experiments.agda
Indexed.agda		Indexed.agda
IndexedContainersWriteAlong.agda		IndexedContainersWriteAlong.agda
InteractionStructures.agda		InteractionStructures.agda
InteractionStructures.idr		InteractionStructures.idr
Lol.agda		Lol.agda
Prelude.agda		Prelude.agda
README.md		README.md
TCP.agda		TCP.agda
Test.agda		Test.agda
Webmachine.agda		Webmachine.agda
WebmachineIndexed.agda		WebmachineIndexed.agda
WithStdLib.agda		WithStdLib.agda