diff --git a/examples/README.md b/examples/README.md index 5183b3d..3e7591d 100644 --- a/examples/README.md +++ b/examples/README.md @@ -1 +1,4 @@ To run `Basic` example: copy `basic_in.urp.in` to `basic_in.urp` and fill in your GitHub application details. + +You can create an OAuth App in https://github.com/settings/developers, make sure to set +*Authorization callback URL* to `http://localhost:8080/G/authorized/http.3A.2F.2Flocalhost.3A8080.2Fafter` in application settings. diff --git a/src/ur/lib.urp b/src/ur/lib.urp index 794f460..75b8097 100644 --- a/src/ur/lib.urp +++ b/src/ur/lib.urp @@ -6,6 +6,7 @@ effectful WorldFfi.post $/char $/string $/json +$/monad urls oauth github