Create your own GitHub profile
Join the platform over 36 million developers call home for hosting code, managing projects, and building their best software.
Sign up for free See pricing for teams and enterprises
Organizations
Popular repositories
-
stand-in-language
a simple total pure functional language, eventually to have powerful static checking and optimization
-
bitcoin-spinoff-toolkit
C 4
-
HTM
An attempt at hierarchical temporal memory
Haskell
-
nixpkgs
Forked from NixOS/nixpkgs
Nix Packages collection
Nix
-
vadtlang
An experimental visual programming language
Haskell
-
bitshares_toolkit
Forked from bitshares/bitshares1-core
Libraries and Utilities for building DACs
C++
21 contributions in the last year
Contribution activity
April 2019
Created an issue in unisonweb/unison that received 3 comments
When multiple things match for purposes of TDNR, a type error is reported
Given
x = y + 1
y = if x < 5 then x else 5 > x
I get
I'm not sure what < means at line 2, columns 10-11
2 | y = if x < 5 then x else 5
Whatever i…