google-deepmind / google-deepmind/alphageometry
language documentation?
Open
- Dominant language
- Python
- Stars
- 4.9k
- Forks
- 572
- PR merge metrics
- No merged PRs in 30d
Description
Hey Guys,
I love the great work you did on this.
But could you please post some kind of guide to the language?
For example, what does the 2nd line mean? Does the colon have a fixed meaning?
```
angle_bisector x a b c
x : a b c x
```
How is
`a b c = triangle a b c`
different from
`triangle a b c`?
Contributor guide
Assessment
This issue has not been assessed yet.