check the #[main] function is the right type #37

New Issue

Closed

opened 2023-12-10 14:02:11 -05:00 by rhi · 0 comments

rhi commented

Owner

#[main]
def lmao = io.dump (List ℕ)
-- ( : List ℕ → IO True)

``` #[main] def lmao = io.dump (List ℕ) -- ( : List ℕ → IO True) ```

rhi added the

labels 2023-12-10 14:02:16 -05:00

rhi changed title from ~~check the #[main] function is the write type~~ to check the #[main] function is the right type

2023-12-10 14:02:26 -05:00

check type of #[main] #42

rhi closed this issue

No Label

No Milestone

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: rhi/quox#37

No description provided.