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

#cleflang clef-lang.com/blog/proofs-...

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. youtu.be/8egiPpVi4pg

GitHub - FidelityFramework/mlir-plugins: Custom transforms for MLIR to support Fidelity Framework Custom transforms for MLIR to support Fidelity Framework - FidelityFramework/mlir-plugins

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 github.com/FidelityFram...

Well, it's in the can! 🤖 #FPGA end-to-end compilation with bit width inference confirmed with #cleflang, including AMD/Xilinx bootstrapping the flash process in the back end #fsharp #ocaml #haskell #rust #dotnet