Skip to content
View roboguy13's full-sized avatar

Highlights

  • Pro

Organizations

@ku-fpg

Block or report roboguy13

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. existentialist existentialist Public

    A package for working with heterogenous lists using existential types

    Haskell 2

  2. sokoban-web sokoban-web Public

    A simple implementation of the Sokoban game using ASCII art with Blank Canvas

    Haskell

  3. agda-stuff agda-stuff Public

    Category theory, and other things, in Agda

    Agda

  4. categorical-semantics categorical-semantics Public

    Categorical semantics in Agda

    Agda

  5. cocategory-logic cocategory-logic Public

    Haskell 4

  6. locales locales Public

    Agda 1