René Schwaiger sanssecours

sanssecours / Test7.hs

Last active December 8, 2015 16:29

	-- Imports ---------------------------------------------------------------------

	import Aufgabe7 (
	Nat(..), Ziffer(..), Zeichen(..), Graph(..)
	, kIndependent, isConnected, isTree
	, Airports(..), Airlines(..), Networks, Fare
	, airlineConnections, allianceConnections, cheapestConnections
	)

	import Data.List (sort)

sanssecours / Test6.hs

Last active October 17, 2023 19:24

sanssecours / Test5.hs

Last active November 23, 2015 17:43

	-- Imports ---------------------------------------------------------------------

	import Aufgabe5 (Nat(..), Zeichen(..), Ziffer(..),
	isCanPR, mkCanPR, plusPR, minusPR, timesPR, divPR,
	eqPR, neqPR, grPR, lePR, grEqPR, leEqPR)
	import Test.HUnit

	-- Numbers ---------------------------------------------------------------------

	nat0 = Nat ((A, A, A), (Null, Null, Null))

sanssecours / Test4.hs

Last active November 22, 2015 14:03