Skip to content

Conversation

@elegios
Copy link
Contributor

@elegios elegios commented Mar 10, 2025

matIsSquare was spelled matIsSqur.

Includes more PRs until they are merged.

@br4sco
Copy link
Contributor

br4sco commented Mar 10, 2025

matIsSquare was spelled matIsSqur.

Includes more PRs until they are merged.

Oops, thx!

@david-broman david-broman merged commit 1fb13ff into miking-lang:develop Mar 15, 2025
1 of 2 checks passed
wmuth pushed a commit to wmuth/miking that referenced this pull request Mar 15, 2025
* Make lambda lifting give more detailed information in its solutions

* Add alternate lambda lift that allows capture of global variables

* Spelling error in matIsSquare
@elegios elegios deleted the spelling branch April 16, 2025 09:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants