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

Directory listing for dhall-1.41.0 source tarball

dhall-1.41.0/dhall-lang/tests/type-inference/success/prelude/Natural/

• build/
  • 0A.dhall
  • 0B.dhall
  • 1A.dhall
  • 1B.dhall
• enumerate/
  • 0A.dhall
  • 0B.dhall
  • 1A.dhall
  • 1B.dhall
• even/
  • 0A.dhall
  • 0B.dhall
  • 1A.dhall
  • 1B.dhall
• fold/
  • 0A.dhall
  • 0B.dhall
  • 1A.dhall
  • 1B.dhall
  • 2A.dhall
  • 2B.dhall
• isZero/
  • 0A.dhall
  • 0B.dhall
  • 1A.dhall
  • 1B.dhall
• odd/
  • 0A.dhall
  • 0B.dhall
  • 1A.dhall
  • 1B.dhall
• product/
  • 0A.dhall
  • 0B.dhall
  • 1A.dhall
  • 1B.dhall
• show/
  • 0A.dhall
  • 0B.dhall
  • 1A.dhall
  • 1B.dhall
• sum/
  • 0A.dhall
  • 0B.dhall
  • 1A.dhall
  • 1B.dhall
• toDouble/
  • 0A.dhall
  • 0B.dhall
  • 1A.dhall
  • 1B.dhall
• toInteger/
  • 0A.dhall
  • 0B.dhall
  • 1A.dhall
  • 1B.dhall