Please enable JavaScript in your browser!
Domů
Procházet
Nápověda
Přihlásit se
bentley
/
SCCD
rozštěpen z
simon/SCCD
Sledovat
1
Oblíbit
0
Rozštěpit
0
Soubory
Větev:
unstable
Větve
Značky
master
unstable
v0.9
SCCD
/
test
/
target_py
/
big_step_maximality
Simon Van Mierlo
780912eafe
added after(0) test
před 9 roky
..
00_take_one.py
780912eafe
added after(0) test
před 9 roky
01_take_many.py
780912eafe
added after(0) test
před 9 roky
10_orthogonal_take_one.py
780912eafe
added after(0) test
před 9 roky
11_orthogonal_take_many.py
780912eafe
added after(0) test
před 9 roky
__init__.py
d6814173f2
restructure
před 9 roky