warp-types 0.3.2

Type-safe GPU warp programming via linear typestate: compile-time prevention of shuffle-from-inactive-lane bugs
Documentation 
1
2
3
4

import WarpTypes

def main : IO Unit :=
  IO.println "Warp Typestate: Lean 4 formalization built successfully."