--rwxr-xr-x fernan sys 683 Jul 28  2009 ex1.hs
--rwxr-xr-x fernan sys 384 Jul 28  2009 ex17.hs
--rwxr-xr-x fernan sys 555 Jul 28  2009 ex2.hs
--rwxr-xr-x fernan sys 530 Jul 28  2009 ex3.hs
--rwxr-xr-x fernan sys 633 Jul 28  2009 ex4.hs
--rwxr-xr-x bootes sys 752 Jul 28  2009 ex5.hs
--rwxr-xr-x fernan sys 396 Jul 28  2009 ex6.hs
--rwxr-xr-x fernan sys 460 Jul 28  2009 ex7.hs
--rwxr-xr-x fernan sys 441 Jul 28  2009 ex8.hs
--rwxr-xr-x fernan sys 673 Jul 28  2009 ex9.hs