diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-01-20 10:08:50 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-20 10:10:23 +0100 |
commit | 44aef5edecd4e9263927c856c23567a3670f2b36 (patch) | |
tree | 5ef2153478910fc7e6e6beaa8d8183c52d575745 /run-test-suite.sh | |
parent | d1c1b97c50071eacb93d3773a621df18e9075781 (diff) |
refactoring; more prim reductions; begin to strengthten type annotations
Diffstat (limited to 'run-test-suite.sh')
0 files changed, 0 insertions, 0 deletions