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

Wojciech Karpiel 4c53596de3 poprawki++		%!s(int64=5) %!d(string=hai) anos
praca-magisterska	4c53596de3 poprawki++	%!s(int64=5) %!d(string=hai) anos
src	35db266fb1 jest \:D/	%!s(int64=6) %!d(string=hai) anos
.gitignore	e6594f92e9 Strona tytułowa jak http://www.iet.agh.edu.pl/pl/studenci/studia-stacjonarne-1-i-2-stopnia/dokumenty-do-pobrania/	%!s(int64=5) %!d(string=hai) anos
CZYTAJMNIE	4c53a17939 Aktualizacja do Agdy 2.6.0 i biblioteki 1.0	%!s(int64=6) %!d(string=hai) anos
przemebra.agda-lib	c930b5d440 Początek Przemebry	%!s(int64=6) %!d(string=hai) anos