-
Notifications
You must be signed in to change notification settings - Fork 12
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#280 In argumentcomputer/yatima;
Commit the typechecker as an actual lambda
enhancementNew feature or requestNew feature or requestStatus: Open.#275 In argumentcomputer/yatima;Simplify the typechecker by removing lambda inference
enhancementNew feature or requestNew feature or requestStatus: Open.#272 In argumentcomputer/yatima;Remove thunks from the typechecker
enhancementNew feature or requestNew feature or requestStatus: Open.#268 In argumentcomputer/yatima;- Status: Open.#249 In argumentcomputer/yatima;
Constant -> Declaration
good first issueGood for newcomersGood for newcomersStatus: Open.#245 In argumentcomputer/yatima;Typechecker stack overflow
bugSomething isn't workingSomething isn't workingStatus: Open.#243 In argumentcomputer/yatima;- Status: Open.#238 In argumentcomputer/yatima;
- Status: Open.
Document everything
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.- Status: Open.#88 In argumentcomputer/yatima;