Skip to content
Snippets Groups Projects
Commit f9a3dbbb authored by patham9's avatar patham9
Browse files

fix example numbers from NAL1-6, todo: look why contraposition has stopped... 

fix example numbers from NAL1-6, todo: look why contraposition has stopped working, add new recursion example in Peis format, fix numbers in multistep, add new NAL6 examples shown in fixed issues
parent 58589399
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment