Reversible functional programming and execution model
- Main.Rmd: explains the type system and a functional programming language for reversible computing
- ReversibleMachine.Rmd: explains the "reversible machine", a model for executing reversible programs
- ReversibleNew: F# project for reversible computing
- Tests: F# project for the FsCheck tests