Mastodawn

Giving Wadler his due... #cleflang https://clef-lang.com/blog/proofs-from-dimensional-types

'Free' Proofs from Dimensional Types

How Wadler's Free Theorems Provide the Formal Foundation for Design-Time Dimensional Verification

WebView and then Native GPU Control from Clef language - mind you it's loading one framebuffer but it's a start! This is actually a #cleflang and #fsharp story for now, but I'll be moving web generation to the Composer compiler soon. https://youtu.be/8egiPpVi4pg

Clef Language - WebView and Native Application Rendering

YouTube

Houston Haynes Mar 6

Just created our first #MLIR plugin for #cleflang and while it's within a narrow focus it has wide implications: MLKit style flat closures that can be lowered to standard LLVM. #fsharp #fstar #ocaml #dotnet

https://github.com/FidelityFramework/mlir-plugins