Wiktor Reczek wreczek

Master's degree in Computer Science at the AGH University of Science and Technology

wreczek / Spec.hs

Created January 26, 2018 13:29

	module Calculation
	(increment, decrement, add, mul, pow) where


	-- arithmetic operations, additionally give us the
	-- view of new, undefined numerals
	increment :: ((a -> b) -> c -> a) -> (a -> b) -> c -> b
	increment = \g f x -> f(g(f)(x))

	decrement :: (((r -> b) -> (b -> c) -> c) ->

wreczek / Pairs.hs

Created January 26, 2018 13:31

	module Pairs
	(first, second,pair) where

	--needed for first and second operations, uses true and false
	-- from ChurchBooleans
	import ChurchBooleans

	-- functions that are needed for list operations
	first :: ((t1 -> t2 -> t1) -> t) -> t
	first = \f -> f(true)

wreczek / Calculation.hs

Created January 26, 2018 13:34

	module Calculation
	(increment, decrement, add, mul, pow) where


	-- arithmetic operations, additionally give us the
	-- view of new, undefined numerals
	increment :: ((a -> b) -> c -> a) -> (a -> b) -> c -> b
	increment = \g f x -> f(g(f)(x))

	decrement :: (((r -> b) -> (b -> c) -> c) ->

wreczek / ChurchBooleans.hs

Created January 26, 2018 13:36

	module ChurchBooleans
	(true, false, not', and', or', xor', to_boolean) where


	-- defining Church values: true and false
	true :: t1 -> t -> t1
	true= \x y -> x

	false :: t -> t1 -> t1
	false= \x y -> y

wreczek / ChurchNumerals.hs

Created January 26, 2018 13:37

	{-# LANGUAGE RankNTypes #-}
	module ChurchNumerals
	( church, unchurch, zero, one, two, three, four,
	five, six, seven, eight, nine, ten
	) where

	-- we define natural numbers of Church
	type Church a = (a -> a) -> a -> a

	-- converting functions

wreczek / url_service.py

Created April 16, 2020 20:02

Implementation of the URL website for recruitment interview purposes

	#!/usr/bin/env python
	"""Server site implementation of the product, where users can
	save URLs and retrieve them later."""

	__author__ = "Wiktor Reczek"


	class UrlService:
	"""CRUD service without `update`."""

wreczek / sudoku_solver.py

Created July 21, 2020 16:27