Skip to content
Avatar
22 followers · 62 following · 225

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@carpentry-org
Block or Report

Block or report scolsen

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.

Report abuse

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

Report abuse

Pinned

  1. carp-lang/Carp

    A statically typed lisp, without a GC, for real-time applications.

    Haskell 4k 147

  2. lazy

    Lazy computations for Carp

    C 4

  3. typeclass

    Typeclasses for the Carp programing language.

    6

  4. folders

    Generic folds for Carp

    5

  5. dimensions

    Forked from carpentry-org/dimensions

    Generic utilities for working with dimensional containers.

  6. gadamer

    A vim plugin for annotating files.

    Vim script 1

491 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to carp-lang/Carp, google/ground-android, scolsen/typeclass and 5 other repositories

Contribution activity

August 2021

Created 2 commits in 1 repository

Created a pull request in carp-lang/Carp that received 5 comments

fix: fix nested polymorphic types

This PR fixes an issue where polymorphic types defined in modules were not being emitted. To do so, we need to change the signatures of a few funct…

+117 −80 • 5 comments
Opened 1 other pull request in 1 repository
carp-lang/Carp 1 open
Reviewed 1 pull request in 1 repository
carp-lang/Carp 1 pull request

Created an issue in carp-lang/Carp that received 7 comments

Scoring: Another problem, scoring is incorrect for polymorphics in modules

When one defines a polymorphic type in a module, it is scored incorrectly. Here's an easy reproducible example: (defmodule Foo (deftype (Bar a) [it…

7 comments
Opened 3 other issues in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.