Perla v1.0.0-beta-034 is out! New test runner support for client-side code Both the release and the docs have been updated! more info below 👇 #dotnet #fsharp

Show Post

Inspired by a few blogs I read recently I’m building my own blog in #fsharp and finding it very easy. It’s one of my favourite langs but I don’t use it nearly enough.

Show Post

My Spectre Console Foo needs a bit of work, but the test runner is actually testing now with live changes 😌😮‍💨 I'm finally close enough to Perla v1... slow and steady #dotnet #fsharp

Show Post

I am developing this for something incredibly incredibly stupid, but it's a secret for now 🤫

Show Post

Finally, a w̶e̶a̶p̶o̶n̶ tool to surpass LeanDojo~ (Creating a Lean Context directly inside Lean itself, and then submitting tactics and backtracking programmatically) #LeanProver #Lean

Show Post