Block or Report
Block or report meteficha
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
hierarchical-clustering Public
Fast algorithms for single, average/UPGMA and complete linkage clustering.
-
nonlinear-optimization Public
Various iterative algorithms for optimization of nonlinear functions.
-
persistent Public
Forked from yesodweb/persistent
Persistence interface for Haskell allowing multiple storage methods.
22 contributions in the last year
Activity overview
Contributed to
andorp/PLFI,
timsueberkrueb/idris2-snap
Contribution activity
May 2022
Created an issue in andorp/PLFI that received 1 comment
Trichotomy uniqueness
This is what I wanted to do, but it doesn't seem to work and I'm not sure why: 0 trichotomyUniqueness : (m, n : N) -> (t1, t2 : Trichotomy m n) -> …
1
comment

