 Wojciech Karpiel
|
a69dda511e
usprawnienia dla klasycznego rachunku zdań
|
1 rok pred |
|
Wojciech Karpiel
|
5cf876f541
Po wzięciu wolnych zmiennych z całego drzewa, modalne sprawy działają (chyba)
|
1 rok pred |
|
Wojciech Karpiel
|
8100ce5b6b
API
|
1 rok pred |
|
Wojciech Karpiel
|
47dcaa7be9
Rdzenny program
|
1 rok pred |
|
Wojciech Karpiel
|
8030cc70bb
zabawy z SBTem
|
1 rok pred |
|
Wojciech Karpiel
|
f74a1f75f8
testy
|
1 rok pred |
|
Wojciech Karpiel
|
228f6d9584
parser testing - parboiled is very very very cool, you just need to handle left-recursion manually
|
1 rok pred |
|
Wojciech Karpiel
|
fbff228d1e
zaczątek
|
1 rok pred |
