Skip to content
Pro
  • Urbana-Champaign, IL
Block or report user

Report or block ttuegel

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@haskell @NixOS @runtimeverification @kframework
  • Urbana-Champaign, IL
Block or report user

Report or block ttuegel

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. Official upstream development repository for Cabal and cabal-install

    Haskell 1k 472

  2. Nix Packages collection

    Nix 3.9k 3.7k

  3. Traditional sparse linear algebra in Haskell

    Haskell 9 1

  4. Automatically generate Nix expressions for Emacs packages

    Haskell 13 11

  5. The Elements of Statistical Learning in Haskell

    Logos 13 1

1,802 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri

Contribution activity

June 2019

Created a pull request in kframework/k that received 3 comments

Add `injective` to constructor-like Kore symbols

The Haskell backend uses the injective symbol attribute to aid unification of some constructor-like symbols. This will be needed for unification wi…

+8 −0 3 comments

Created an issue in kframework/kore that received 3 comments

Unifying domain values and constructors

We need to decide if we will allow domain values and constructor symbols in the same sort. The frontend currently allows this, but there is some qu…

3 comments

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

You can’t perform that action at this time.