Skip to content
View astump's full-sized avatar

Block or report astump

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

Popular repositories Loading

  1. cedille-core-spec cedille-core-spec Public

    Specification of the Cedille Core language

    TeX 32 3

  2. cedilleum-spec cedilleum-spec Public

    Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core

    TeX 28 2

  3. hoc-notes hoc-notes Public

    Notes written while consulting for the Higher Order Company

    TeX 16

  4. dc-recursion-examples dc-recursion-examples Public

    Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in Coq"

    HTML 10

  5. cedille-core cedille-core Public

    Forked from VictorTaelin/Cedille-Core

    Haskell 9 1

  6. ittc ittc Public

    Materials related to the Iowa Type Theory Commute podcast

    TeX 8 2