WojciechKarpiel/Przemebra: Praca magisterska "Konstruktywne podejście do algebry na przykładzie teorii ciał w programowaniu funkcyjnym z typami zależnymi"

Wojciech Karpiel 15231bf79a poprawki, literówki		před 5 roky
..
agda.tex	9bf9f7a80e Ogarnięte odniesienia do stron	před 5 roky
algebra.tex	9382cbaeff poprawki znowu	před 5 roky
klasyczna.tex	82948121af nie było odstępu za PML żal	před 5 roky
kompilator.tex	2627cafd21 kompilator -poprawki	před 5 roky
konstruktywistyczna.tex	a0276e4cba lepsze cytowanie stanfordu	před 5 roky
pml.tex	15231bf79a poprawki, literówki	před 5 roky
przyklad.tex	2b4d87b2e4 interpunkcja do klasycznej włącznie	před 5 roky