Strona główna Odkrywaj Pomoc
Zaloguj się
simon
/
SCCD
Obserwuj 2
Polub 2
Forkuj 3
Pliki Problemy 28 Oczekujące zmiany 0 Wiki
Gałąź: unstable
Gałęzie Tagi
SCCD
/
test
/
target_js
/
big_step_maximality
Simon Van Mierlo 780912eafe added after(0) test 9 lat temu
..
00_take_one.js 780912eafe added after(0) test 9 lat temu
01_take_many.js 780912eafe added after(0) test 9 lat temu
10_orthogonal_take_one.js 780912eafe added after(0) test 9 lat temu
11_orthogonal_take_many.js 780912eafe added after(0) test 9 lat temu