Use pikelet-lang URLs everywhere

.gitmodules

@@ -1,4 +1,4 @@
 [submodule "book/highlight.js"]
 	path = book/highlight.js
-	url = https://github.com/brendanzab/highlight.js.git
+	url = https://github.com/pikelet-lang/highlight.js.git
 	branch = add-pikelet

Cargo.toml

@@ -5,8 +5,8 @@ readme = "README.md"
 license = "Apache-2.0"
 authors = ["Brendan Zabarauskas <bjzaba@yahoo.com.au>"]
 description = "An implementation of a small dependently typed lambda calculus in Rust."
-homepage = "https://github.com/brendanzab/pikelet"
-repository = "https://github.com/brendanzab/pikelet"
+homepage = "https://github.com/pikelet-lang/pikelet"
+repository = "https://github.com/pikelet-lang/pikelet"
 publish = false
 
 [features]

README.md

@@ -3,8 +3,8 @@
 [![Build Status][travis-badge]][travis-url]
 [![Gitter][gitter-badge]][gitter-lobby]
 
-[travis-badge]: https://travis-ci.org/brendanzab/pikelet.svg?branch=master
-[travis-url]: https://travis-ci.org/brendanzab/pikelet
+[travis-badge]: https://travis-ci.org/pikelet-lang/pikelet.svg?branch=master
+[travis-url]: https://travis-ci.org/pikelet-lang/pikelet
 [gitter-badge]: https://badges.gitter.im/pikelet-lang/pikelet.svg
 [gitter-lobby]: https://gitter.im/pikelet-lang/Lobby
 
@@ -26,7 +26,7 @@ type system, similar to the one described in the excellent
 local type inference while still maintaining a simple, easy to understand type
 checking algorithm.
 
-[pikelet-book]: https://brendanzab.github.io/pikelet/
+[pikelet-book]: https://pikelet-lang.github.io/pikelet/
 [dependent-type-wikipedia]: https://en.wikipedia.org/wiki/Dependent_type
 [bidirectional-typing-paper]: http://www.davidchristiansen.dk/tutorials/bidirectional.pdf
 [lambdapi-site]: https://www.andres-loeh.de/LambdaPi/

book/README.md

@@ -33,4 +33,4 @@ this is an optional step for developing locally - the CI pipeline will take care
 of building and deploying this automatically.
 
 [mdbook-custom-highlighting-issue]: https://github.com/rust-lang-nursery/mdBook/issues/657
-[highlightjs-fork]: https://github.com/brendanzab/highlight.js/tree/add-pikelet
+[highlightjs-fork]: https://github.com/pikelet-lang/highlight.js/tree/add-pikelet

book/src/appendix/theory.md

@@ -62,7 +62,7 @@ etc. If you would like to discuss this with us, please check out
 
 [type-soundness]: https://en.wikipedia.org/wiki/Type_safety
 [normalization-property]: https://en.wikipedia.org/wiki/Normalization_property_(abstract_rewriting)
-[formalization-issue]: https://github.com/brendanzab/pikelet/issues/39
+[formalization-issue]: https://github.com/pikelet-lang/pikelet/issues/39
 
 ## Syntax
 

book/src/index.md

@@ -3,8 +3,8 @@
 Pikelet is a small [dependently typed][dependent-type-wikipedia] language. It
 doesn't do many interesting things yet, but hopefully that will change in the future!
 
-- [Source code](https://github.com/brendanzab/pikelet)
-- [Issues](https://github.com/brendanzab/pikelet/issues)
+- [Source code](https://github.com/pikelet-lang/pikelet)
+- [Issues](https://github.com/pikelet-lang/pikelet/issues)
 - [Gitter Chat](https://gitter.im/pikelet-lang/Lobby)
 
 [dependent-type-wikipedia]: https://en.wikipedia.org/wiki/Dependent_type
@@ -30,7 +30,7 @@ $ cargo run repl
     ____  _ __        __     __
    / __ \(_) /_____  / /__  / /_
   / /_/ / / //_/ _ \/ / _ \/ __/    Version 0.1.0
- / ____/ / ,< /  __/ /  __/ /_      https://github.com/brendanzab/pikelet
+ / ____/ / ,< /  __/ /  __/ /_      https://github.com/pikelet-lang/pikelet
 /_/   /_/_/|_|\___/_/\___/\__/      :? for help
 
 Pikelet> (\(a : Type) (x : a) => x) String "hello"

book/src/installation/index.md

@@ -13,12 +13,12 @@ We've not yet published Pikelet on [crates.io][crates-io], so you'll first need
 to clone [the repository][pikelet-repository] using git:
 
 ```sh
-git clone https://github.com/brendanzab/pikelet.git
+git clone https://github.com/pikelet-lang/pikelet.git
 cd pikelet
 ```
 
 [crates-io]: https://crates.io/
-[pikelet-repository]: https://github.com/brendanzab/pikelet
+[pikelet-repository]: https://github.com/pikelet-lang/pikelet
 
 ## Running the REPL