Iedere week kunnen er opgaven ingeleverd worden. Vanaf de vierde week maken praktische opgaven deel uit van de in te leveren opgaven. De opgaven zullen op vrijdag bekend gemaakt worden. De opgaven dienen (uiterlijk) aan het begin van de daaropvolgende werkgroep ingeleverd te worden, duidelijk voorzien van uw naam.
coqtop en dan Load bubblesort. in te typen..ml niet gegenereerd)
Extraction
Language
hugs Test
__ __ __ __ ____ ___ _________________________________________
|| || || || || || ||__ Hugs 98: Based on the Haskell 98 standard
||___|| ||__|| ||__|| __|| Copyright (c) 1994-1999
||---|| ___|| World Wide Web: http://haskell.org/hugs
|| || Report bugs to: hugs-bugs@haskell.org
|| || Version: February 2000 _________________________________________
Haskell 98 mode: Restart with command line option -98 to enable extensions
Reading file "/phil/tf/share/hugs/lib/Prelude.hs":
Reading file "Test.hs":
Reading file "Bubblesort.hs":
Reading file "Test.hs":
Hugs session for:
/phil/tf/share/hugs/lib/Prelude.hs
Bubblesort.hs
Test.hs
Type :? for help
Test> sort [5,10,9,8,8,6,3,2]
[2,3,5,6,8,8,9,10]
Test>