garyb/infer-rank-n-types garyb/infer-rank-n-types

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Haskell
  • Created about 11 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
garyb/infer-rank-n-types
github

garyb

Reviews

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

Repository Details

Type inference algorithm for arbitrary rank types.

More Repositories

1

purescript-codec-argonaut

Bi-directional JSON codecs for argonaut
PureScript
38
star
2

purescript-virtual-dom

Low level virtual-dom bindings for PureScript
PureScript
30
star
3

purescript-debug

Console based debugging functions
PureScript
26
star
4

purescript-indexed-monad

PureScript
21
star
5

purescript-codec

General purpose bi-directional codecs
PureScript
16
star
6

purescript-mote

Just a little spec(k).
PureScript
16
star
7

purescript-dom-classy

PureScript
12
star
8

purescript-leibniz-proof

PureScript
11
star
9

purescript-functor1

PureScript
8
star
10

purescript-uuidv4

PureScript
7
star
11

fiction

A now abandoned Scheme-type Lisp in JavaScript.
JavaScript
6
star
12

tap

A programming language. You should probably look at purescript instead.
Scala
5
star
13

purescript-codec-json

PureScript
5
star
14

purescript-http-headers

PureScript
4
star
15

purescript-strongcheck-laws

StrongCheck powered law tests for PureScript's core typeclasses.
PureScript
4
star
16

purescript-formulate

PureScript
4
star
17

purescript-express

Work in progress PureScript bindings for express
3
star
18

purescript-dependency-helper

A tool to perform reverse lookups of purescript dependencies
JavaScript
3
star
19

purescript-site-scratchpad

CSS
3
star
20

purescript-ordered-jobs

PureScript
2
star
21

purs-rollup-test

PureScript
1
star
22

null-ltd

null-ltd.uk
HTML
1
star
23

purescript-safelist

A list type that tracks non-emptiness at the type level
PureScript
1
star
24

purescript-opposite

Opposite category for PS
PureScript
1
star
25

purescript-halogen-html-component

A component for Halogen that encapsulates a region of arbitrary HTML
PureScript
1
star