https://github.com/elliotchance/play.getok.dev

🕹️ play.getok.dev
https://github.com/elliotchance/play.getok.dev

ok website

Last synced: 6 days ago
JSON representation

🕹️ play.getok.dev

• Host: GitHub
• URL: https://github.com/elliotchance/play.getok.dev
• Owner: elliotchance
• Created: 2020-08-26T23:40:24.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2020-08-30T17:45:46.000Z (about 5 years ago)
• Last Synced: 2025-02-09T17:18:08.356Z (8 months ago)
• Topics: ok, website
• Language: HTML
• Homepage: https://play.getok.dev
• Size: 86.9 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# play.getok.dev

This repository represents the [play.getok.dev](https://play.getok.dev) domain.

**[Visit the OK programming language repository for more.](https://github.com/elliotchance/ok)**

## Deploy

```bash

make deploy

```

## Testing

```

sls invoke -f run --data '{"body":"func main() { print(\"hello\") }"}'

```

```

curl --data 'func main() { print("hello") }' \

  https://fh0504kns1.execute-api.us-east-1.amazonaws.com/dev/run

```