diff --git a/.gitignore b/.gitignore
index 1b655e0..c2de9f3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 *_doc/
 *.ibc
 *~
+bazel-*
diff --git a/BUILD.bazel b/BUILD.bazel
new file mode 100644
index 0000000..9532688
--- /dev/null
+++ b/BUILD.bazel
@@ -0,0 +1,8 @@
+load("@rules_idris//idris:rules_idris.bzl", "idris_library")
+
+idris_library (
+    name = "lightyear",
+    deps = ["@idris-effects//:effects"],
+    srcs = native.glob(["Lightyear.idr", "Lightyear/*.idr"]),
+    visibility = ["//visibility:public"],
+)
diff --git a/WORKSPACE b/WORKSPACE
new file mode 100644
index 0000000..e6744c0
--- /dev/null
+++ b/WORKSPACE
@@ -0,0 +1,22 @@
+load("@bazel_tools//tools/build_defs/repo:git.bzl", "git_repository")
+git_repository(
+    name = "rules_idris",
+    remote = "https://github.com/BryghtWords/rules_idris.git",
+    tag = "v0.3"
+)
+
+load("@rules_idris//idris:idris_repos.bzl", "loadIdrisPackagerRepositories")
+
+loadIdrisPackagerRepositories()
+
+load("@rules_idris//idris:local_idris_loader.bzl", "loadIdris")
+
+loadIdris("/nix/store/iz7jahxg47hzhwapiwlc2xr2nqsixdkq-idris-1.3.1")
+
+git_repository(
+    name = "smoke-hill",
+    remote = "https://github.com/shmish111/smoke-hill.git",
+    commit = "73addb298b9b4d3cb7188c03627ff36ed16cd932",
+)
+load("@smoke-hill//:packages.bzl", "loadIdrisPackages")
+loadIdrisPackages()
diff --git a/shell.nix b/shell.nix
new file mode 100644
index 0000000..7191ff8
--- /dev/null
+++ b/shell.nix
@@ -0,0 +1,16 @@
+{ nixpkgs ? <nixpkgs> }:
+let
+  pkgs = import (builtins.fetchTarball {
+    name = "nixos-unstable-2018-12-08";
+    url = https://github.com/nixos/nixpkgs/archive/e85c1f586807b5acd244df4c45a5130aa3f0734d.tar.gz;
+    sha256 = "1xy1qgam0i2fyqhaczw0qrx8yv3hgdh9jp47wmln5ljiixr5ic5n";
+    }) {};
+  stdenv = pkgs.stdenv;
+  idrisWithPkgs = pkgs.idrisPackages.with-packages (with pkgs.idrisPackages; [ effects ]);
+in
+with pkgs; stdenv.mkDerivation {
+  name = "blodwen-shell-extras";
+  buildInputs = [
+    gmp idrisWithPkgs bazel
+  ];
+}