Paul Clark

Struggling with the same thing, I'm afraid, particularly around the Directory layer... First a sanity check - is the code that's in Nuget (6.2.0-preview) derived from 'master' branch? I couldn't...

OK, some progress - I've found there is a 5.2.1-preview2 available in Nuget and a matching tag here, so: and this means this version (from the 5.2.1 samples) now compiles:...

Thanks Cristophe! I see the 7.0.0-preview1 is up on nuget now - I'll try it. Would it be possible to tag the repo for 6.2.0-preview1 so if people do use...

+1 for integration of this :-)

I tripped over this too, thanks for the fix. +1 for merge.

+1 for a note explaining this isn't being maintained (if that is the case). Spent a frustrating day-and-a-half trying to get it to play with React 18 and github actions;...

In case it helps anyone, I went a different way - reverted to trusty old create-react-app, refactored into lib/ and example/ and added back microbundle to publish it. The empty...

Followup which also suggests sticking to React ^17 - the blah.test produces warnings: `Warning: ReactDOM.render is no longer supported in React 18. Use createRoot instead. Until you switch to the...

Just found this PR which I suspect might fix it: https://github.com/jaredpalmer/tsdx/pull/1142

I think this kind of human-readable explanation - in parallel with the formal definition - is exactly what's needed. If we could shift it into Markdown+Agda as well, that would...