Home Esplora Aiuto
Accedi
simon
/
SCCD
Segui 2
Vota 2
Forka 3
File Problemi 28 Pull Requests 0 Wiki
Ramo (Branch): unstable
Rami (Branch) Tag
SCCD
/
test
/
target_js
/
big_step_maximality
Simon Van Mierlo 780912eafe added after(0) test 9 anni fa
..
00_take_one.js 780912eafe added after(0) test 9 anni fa
01_take_many.js 780912eafe added after(0) test 9 anni fa
10_orthogonal_take_one.js 780912eafe added after(0) test 9 anni fa
11_orthogonal_take_many.js 780912eafe added after(0) test 9 anni fa