Rust aficionado and fan of semantics before programs. Maintainer @yewstack
- Worldwide
Block or Report
Block or report WorldSEnder
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Haskell
Sort by: Most stars
4
stars
written in Haskell
Clear filter
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Source material for Algebra-Driven Design