Skip to content
View isovector's full-sized avatar
1.2k followers · 182 following

Organizations

@polysemy-research
Block or Report

Block or report isovector

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. cornelis cornelis Public

    agda-mode for neovim

    Haskell 126 22

  2. certainty-by-construction certainty-by-construction Public

    Source material for Certainty by Construction

    TeX 36 9

  3. algebra-driven-design algebra-driven-design Public

    Source material for Algebra-Driven Design

    Haskell 132 12

  4. thinking-with-types thinking-with-types Public

    📖 source material for Thinking with Types

    Haskell 470 42