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

Directory listing for nom-0.1.0.0 source tarball

nom-0.1.0.0/

• LICENSE
• Setup.hs
• nom.cabal
• doctest/
  • DocTest.hs
• src/
  • Language/
    • Nominal.hs
    • Nominal/
      • Abs.hs
      • Binder.hs
      • Equivar.hs
      • Name.hs
      • NameSet.hs
      • Nom.hs
      • SMonad.hs
      • Sub.hs
      • Unify.hs
      • Unique.hs
      • Utilities.hs
      • Examples/
        • Assembly1.hs
        • Assembly2.hs
        • IdealisedEUTxO.hs
        • Style.hs
        • SystemF.hs
        • Tutorial.hs
        • UntypedLambda.hs
      • Properties/
        • AbsSpec.hs
        • AllTests.hs
        • EquivarSpec.hs
        • NameSetSpec.hs
        • NameSpec.hs
        • NomSpec.hs
        • SpecUtilities.hs
        • SubSpec.hs
        • UnifySpec.hs
        • UtilitiesSpec.hs
        • Examples/
          • IdealisedEUTxOSpec.hs
          • SystemFSpec.hs
• test/
  • Spec.hs
  • Language/
    • Nominal/
      • AbsSpec.hs
      • EquivarSpec.hs
      • NameSetSpec.hs
      • NameSpec.hs
      • NomSpec.hs
      • SubSpec.hs
      • UnifySpec.hs
      • UtilitiesSpec.hs
      • Examples/
        • IdealisedEUTxOSpec.hs
        • SystemFSpec.hs