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

Organizations

@polysemy-research

Block or report isovector

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. agda/cornelis agda/cornelis Public

    agda-mode for neovim

    Haskell 135 23

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

    Source material for Certainty by Construction

    TeX 38 11

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

    Source material for Algebra-Driven Design

    Haskell 137 13

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

    📖 source material for Thinking with Types

    Haskell 477 43