garyb/infer-rank-n-types

Stars
8
Rank 2,087,679 (Top 42 %)
Language
Haskell
Created about 11 years ago
Updated almost 11 years ago

garyb/infer-rank-n-types

garyb

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Type inference algorithm for arbitrary rank types.

purescript-codec-argonaut

Bi-directional JSON codecs for argonaut

purescript-virtual-dom

Low level virtual-dom bindings for PureScript

purescript-debug

Console based debugging functions

purescript-indexed-monad

purescript-codec

General purpose bi-directional codecs

purescript-mote

Just a little spec(k).

purescript-dom-classy

purescript-leibniz-proof

purescript-functor1

purescript-uuidv4

fiction

A now abandoned Scheme-type Lisp in JavaScript.

tap

A programming language. You should probably look at purescript instead.

purescript-codec-json

purescript-http-headers

purescript-strongcheck-laws

StrongCheck powered law tests for PureScript's core typeclasses.

purescript-formulate

purescript-express

Work in progress PureScript bindings for express

purescript-dependency-helper

A tool to perform reverse lookups of purescript dependencies

purescript-site-scratchpad

purescript-ordered-jobs

purs-rollup-test

null-ltd

purescript-safelist

A list type that tracks non-emptiness at the type level

purescript-opposite

Opposite category for PS

purescript-halogen-html-component

A component for Halogen that encapsulates a region of arbitrary HTML