Block or Report
Block or report mrkgnao
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
evertedsphere/silica
evertedsphere/silica Public archiveoptics for Haskell with the most amazing type errors you've seen
-
evertedsphere/shorshe
evertedsphere/shorshe Publicfreshly-fermented, dependently-typed mustard, with a substructural aftertaste
Haskell 31
-
evertedsphere/sound-and-complete
evertedsphere/sound-and-complete Public archiveAn implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
-
evertedsphere/how-to-implement-dependent-type-theory
evertedsphere/how-to-implement-dependent-type-theory Public archiveA tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
-
evertedsphere/rien
evertedsphere/rien Public archivePredictable Haskell development environments with Cabal and Nix.
-
evertedsphere/preposterous
evertedsphere/preposterous Public archiveAn implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.