Skip to content
View bathtub-01's full-sized avatar
6 followers · 7 following

Achievements

Achievement: Pull SharkAchievement: YOLO

Achievements

Achievement: Pull SharkAchievement: YOLO

Block or report bathtub-01

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@Akilan1999
Akilan Selvacoumar Akilan1999
The not boring developer

Edinburgh, Scotland, United Kingdom

@jvanbruegge
Jan van Brügge jvanbruegge
GPG fingerprint: 3513 5CE5 77AD 711F 3825 9A99 3665 72BE 7D6C 78A2

Heilmann Software Munich, Germany

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@xecarlox94
Jose Fernandes xecarlox94
Software engineer
@robstewart57
Rob Stewart robstewart57
Associate Professor of Computer Science. Functional programmer.

Heriot Watt University Edinburgh

@cramsay
Craig Ramsay cramsay
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo