--rwxr-xr-x bootes sys  7090 Jul 28  2009 AC.hs
--rwxr-xr-x bootes sys 21997 Aug 10  2009 Circuit.hs
--rwxr-xr-x bootes sys 14203 Aug  9  2009 DC.hs
d-rwxr-xr-x fernan sys     0 Jul 15  2018 Matrix
--rwxr-xr-x fernan sys  2500 Aug  8  2009 Print.hs
--rwxr-xr-x fernan sys   434 Jul 28  2009 ex10.hs
--rwxr-xr-x fernan sys   436 Jul 28  2009 ex11.hs
--rwxr-xr-x fernan sys   478 Jul 28  2009 ex12.hs
--rwxr-xr-x bootes sys   445 Jul 28  2009 ex13.hs
--rwxr-xr-x fernan sys   512 Jul 28  2009 ex14.hs
--rwxr-xr-x fernan sys   567 Jul 28  2009 ex15.hs
--rwxr-xr-x fernan sys   625 Aug  4  2009 ex16.hs
--rwxr-xr-x fernan sys   386 Aug  3  2009 ex17.hs
--rwxr-xr-x fernan sys   950 Aug  2  2009 ex18.hs
--rwxr-xr-x bootes sys   861 Jul 28  2009 ex19.hs
--rwxr-xr-x fernan sys   821 Aug  5  2009 ex20.hs
--rwxr-xr-x fernan sys   986 Aug 10  2009 ex21.hs
--rwxr-xr-x fernan sys  1149 Aug 10  2009 ex22.hs
--rwxr-xr-x fernan sys  1662 Aug 10  2009 ex23.hs
d-rwxr-xr-x fernan sys     0 Jul 15  2018 examples
--rwxr-xr-x fernan sys    58 Jul 28  2009 netlist