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		5 years ago
..
agda.tex	9bf9f7a80e Ogarnięte odniesienia do stron	5 years ago
algebra.tex	9382cbaeff poprawki znowu	5 years ago
klasyczna.tex	82948121af nie było odstępu za PML żal	5 years ago
kompilator.tex	2627cafd21 kompilator -poprawki	5 years ago
konstruktywistyczna.tex	a0276e4cba lepsze cytowanie stanfordu	5 years ago
pml.tex	15231bf79a poprawki, literówki	5 years ago
przyklad.tex	2b4d87b2e4 interpunkcja do klasycznej włącznie	5 years ago