calculus/Calculus/Lambda/Omega/Explicit/lib.cloe

   1 :load lib/Bool.cloe
   2 :load lib/Either.cloe
   3 :load lib/Eq.cloe
   4 :load lib/Function.cloe
   5 :load lib/Functor.cloe
   6 :load lib/IO.cloe
   7 :load lib/List.cloe
   8 :load lib/Maybe.cloe
   9 :load lib/Monad.cloe
  10 :load lib/Monoid.cloe
  11 :load lib/Nat.cloe
  12 :load lib/Ord.cloe
  13 :load lib/Pair.cloe