| .all_images.yml | |
|
|
| .github/workflows/codeql-analysis.yml | |
|
|
| .gitignore | |
|
|
| .tool-versions | |
|
|
| COPYING | |
|
|
| Gemfile | |
|
|
| README.md | |
|
|
| Rakefile | |
|
|
| TODO | |
|
|
| VERSION | |
|
|
| examples/add_one.png | |
|
|
| examples/add_one.stm | |
|
|
| examples/bb3.png | |
|
|
| examples/bb3.stm | |
|
|
| examples/concatenate_compare.mtm | |
|
|
| examples/concatenate_compare.png | |
|
|
| examples/length_difference.mtm | |
|
|
| examples/length_difference.png | |
|
|
| examples/let.rb | 49 | A 0 mins |
|
| examples/mail.rb | 59 | A 0 mins |
|
| examples/minsky.rb | 117 | A 0 mins |
|
| examples/multiply.reg | |
|
|
| examples/null_pattern.rb | 49 | A 0 mins |
|
| examples/ones_difference-mtm.png | |
|
|
| examples/ones_difference-stm.png | |
|
|
| examples/ones_difference.mtm | |
|
|
| examples/ones_difference.stm | |
|
|
| examples/prefix-equals-suffix-reversed-with-infix.png | |
|
|
| examples/prefix-equals-suffix-reversed-with-infix.stm | |
|
|
| examples/recipe.rb | 65 | A 0 mins |
|
| examples/recipe2.rb | 67 | A 0 mins |
|
| examples/recipe_common.rb | 52 | A 0 mins |
|
| examples/subtract.reg | |
|
|
| examples/turing-graph.rb | 14 | A 0 mins |
|
| examples/turing.rb | 258 | B 4 hrs |
|
| lib/dslkit.rb | 2 | A 0 mins |
|
| lib/dslkit/polite.rb | 1 | A 0 mins |
|
| lib/dslkit/rude.rb | 1 | A 0 mins |
|
| lib/spruz.rb | 2 | A 0 mins |
|
| lib/tins.rb | 62 | A 0 mins |
|
| lib/tins/alias.rb | 1 | A 0 mins |
|
| lib/tins/annotate.rb | 33 | A 1 hr |
|
| lib/tins/ask_and_send.rb | 28 | A 0 mins |
|
| lib/tins/attempt.rb | 107 | B 5 hrs |
|
| lib/tins/bijection.rb | 41 | A 0 mins |
|
| lib/tins/case_predicate.rb | 7 | A 0 mins |
|
| lib/tins/complete.rb | 15 | A 0 mins |
|
| lib/tins/concern.rb | 28 | A 45 mins |
|
| lib/tins/count_by.rb | 8 | A 0 mins |
|
| lib/tins/date_dummy.rb | 45 | A 3 hrs |
|
