https://github.com/bbkane/cantors_colors
A visualization of repeated fractions in Georg Cantor's proof that rational numbers are countable
https://github.com/bbkane/cantors_colors
Last synced: about 1 year ago
JSON representation
A visualization of repeated fractions in Georg Cantor's proof that rational numbers are countable
- Host: GitHub
- URL: https://github.com/bbkane/cantors_colors
- Owner: bbkane
- Created: 2019-05-11T17:02:53.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2019-05-11T17:08:08.000Z (about 7 years ago)
- Last Synced: 2025-03-24T19:49:32.619Z (over 1 year ago)
- Language: Elm
- Size: 55.7 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# cantors_colors
TODO: make blog post - https://www.homeschoolmath.net/teaching/rational-numbers-countable.php
TODO: make static site with https://cloudblogs.microsoft.com/opensource/2019/04/05/publishing-github-pages-from-azure-pipelines/
# Install
## Base
- Install NVM: https://github.com/creationix/nvm
- Install Elm: `npm install -g elm`
## Visual Studio Code
- Install `elm-format`: `npm install -g elm-format`
- Install VS Code from https://code.visualstudio.com/
- Add `code` command to `PATH` for command line usage
- `Cmd-P` (Mac) or `Ctrl-P` (Linux): Launch Command Palette
- Type `> Shell Command: Install code command in PATH`
- Install Elm Extension
- From Command Line: `code --install-extension sbrink.elm`
- From Web: `https://marketplace.visualstudio.com/items?itemName=sbrink.elm`
- Restart VS Code
# Use
### `elm-live`
- Install: `npm install -g elm-live`
```bash
elm-live src/Main.elm --open -- --debug
```
# Useful Learning Links
- Guide: https://guide.elm-lang.org/
- Guide Code: https://github.com/evancz/elm-architecture-tutorial/
- Basic Project instructions: https://elm-lang.org/0.19.0/init
- Adding Packages, etc: https://guide.elm-lang.org/install.html
- HTML -> ELM: https://mbylstra.github.io/html-to-elm/
- JSON -> ELM: https://app.quicktype.io/
- https://github.com/evancz/elm-todomvc
- https://github.com/rtfeldman/elm-spa-example