Skip to content

Commit

Permalink
up
Browse files Browse the repository at this point in the history
  • Loading branch information
xieyuheng committed Sep 18, 2023
1 parent 66d5726 commit cfb0d5d
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions TODO.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,15 +2,19 @@

[new-syntax] use `Exp` instead of `Word`

`connectPortWithHalfEdge` should call `checkPortSigns`

- `@connect` -- should not call `checkPortSigns`

[refactor] check during `connect*` instead of before `connect*`

[new-syntax] Bin.i
[new-syntax] `builtin/`
[new-syntax] `checking/`
[new-syntax] `module/`
[new-syntax] `statement/`
[new-syntax] `value/`

[refactor] check during `connect*` instead of before `connect*`

# half-edge

[half-edge] `@edge` as a builtin to create two `HalfEdge`s
Expand Down

0 comments on commit cfb0d5d

Please sign in to comment.