• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for lol-calculus-1.20160822 source tarball

lol-calculus-1.20160822/

• COPYING
• Setup.hs
• lol-calculus.cabal
• stack.yaml
• Language/
  • LOL/
    • Calculus.hs
    • Calculus/
      • Abstraction.hs
      • Axiom.hs
      • Form.hs
      • REPL.hs
      • Read.hs
      • Term.hs
      • Type.hs
      • lib.lol
      • lib/
        • Bool.lol
        • Either.lol
        • Eq.lol
        • Function.lol
        • Functor.lol
        • IO.lol
        • List.lol
        • Maybe.lol
        • Monad.lol
        • Monoid.lol
        • Nat.lol
        • Ord.lol
        • Pair.lol