Misplaced Pages

The following pages link to Ur (programming language)

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 50 items.

• Cabal (software) (links | edit)
• Haxe (links | edit)
• MTASC (links | edit)
• Bluespec (links | edit)
• Hume (programming language) (links | edit)
• Frank Pfenning (links | edit)
• WxHaskell (links | edit)
• Matita (links | edit)
• House (operating system) (links | edit)
• Gofer (programming language) (links | edit)
• QuickCheck (links | edit)
• John Hughes (computer scientist) (links | edit)
• Yhc (links | edit)
• Haddock (software) (links | edit)
• Xmonad (links | edit)
• LOLITA (links | edit)
• David Roundy (links | edit)
• Arvind (computer scientist) (links | edit)
• Orwell (programming language) (links | edit)
• Ωmega (links | edit)
• Gérard Huet (links | edit)
• ATS (programming language) (links | edit)
• Cryptol (links | edit)
• Marionnet (links | edit)
• Frama-C (links | edit)
• Don Syme (links | edit)
• Atom (programming language) (links | edit)
• Haskell Platform (links | edit)
• Haskell features (links | edit)
• Haskell (links | edit)
• Jeremy Gibbons (links | edit)
• Alice (programming language) (links | edit)
• Paul Hudak (links | edit)
• Astrée (static analysis) (links | edit)
• Thierry Coquand (links | edit)
• Ganeti (links | edit)
• Opa (programming language) (links | edit)
• LEGO (proof assistant) (links | edit)
• Conor McBride (links | edit)
• Yesod (web framework) (links | edit)
• Elm (programming language) (links | edit)
• Real World Haskell (links | edit)
• F* (programming language) (links | edit)
• Idris (programming language) (links | edit)
• Snap (web framework) (links | edit)
• Pandoc (links | edit)
• Parsec (parser) (links | edit)
• Alt-Ergo (links | edit)
• Ur/Web (redirect page) (links | edit)
• Git-annex (links | edit)