Robert Kleffner

icon indicating a website link http://www.glossopoeia.com icon indicating an email [email protected]

icon company Lumineye, Inc. icon location Boise icon location CEO @lumineye. Software Engineer @metageek-llc. Obsessed with programming languages, especially types and formal verification

Results 3 comments of Robert Kleffner

Ionide hangs when trying to load `.fsproj` or `.sln` files and is unresponsive - Tabs vs Spaces

Providing some additional context here, as I received [a PR](https://github.com/glossopoeia/boba/pull/4) on the Boba repo to hopefully resolve this issue in the interim. The issue may be related to the presence...

Don't lose powerups when falling in a pit

I believe this also happens in Notch's version. I can't confirm because it won't run in my any of my browsers right now...

Location of generated file (from DrRacket) is not documented and confusing

Thanks for your suggestions @gregid. The latest commits should implement just about all of these.