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

Directory listing for typelet-0.1.5 source tarball

typelet-0.1.5/

• CHANGELOG.md
• typelet.cabal
• src/
  • TypeLet.hs
  • TypeLet/
    • Plugin.hs
    • UserAPI.hs
    • Plugin/
      • Constraints.hs
      • GhcTcPluginAPI.hs
      • NameResolution.hs
      • Substitution.hs
• test/
  • TestTypeLet.hs
  • Test/
    • Infra.hs
    • Sanity.hs
    • WithoutPlugin.hs