Konstruktywne podejście do algebry na przykładzie teorii ciał w programowaniu funkcyjnym z typami zależnymi https://dyplom.ki.agh.edu.pl/tematy/podglad/1483 Używa: * Agda 2.6.0 * https://github.com/agda/agda-stdlib v1.0
