lamdu/lamdu Issues
Windows Installation
UpdatedUI does not contain shell
Closed 3New presentation mode editing UX
Closed 1CI Linux environment broken
Closed 1Support macOS <12
Closed 1Bug in fragment search-term
Closed 1Smooth resize in macOS
Closed 2exit due to exception
Closed 3Crash when skolems are involved
Closed 3Nitpicks
Closed 6Recursive de-structuring
Closed