Projekt "Zastonjski izreki za razrede tipov" pri predmetu Matematika s funkcijskim programiranjem