Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/lamdu/hypertypes

Hypertypes - generic programming for heterogeneous recursive types
https://github.com/lamdu/hypertypes

clean up stack.yaml

f83a37bfdb6ed68cf84f7cb9ec0373d535ff88f4 authored about 6 years ago by Yair Chuchem <[email protected]>
An applyBindings which requires error-prone traversals for tree types

Need to find a nicer solution..

061018abf14ffa0289f2224138931de28b243487 authored about 6 years ago by Yair Chuchem <[email protected]>
progress - unification without applyBindings..

367c4e0c4a94560dce89e2743317582c77f03413 authored about 6 years ago by Yair Chuchem <[email protected]>
example infers lambdas

5f803c5998933596531cb85e63a8f4555f2f7261 authored about 6 years ago by Yair Chuchem <[email protected]>
BindingMonad class => Binding type

* easier user definitions of UnifyMonad on top of any MonadState
* no TypeFamilies mess

e2d33a812ebd73c4ac8a8a98ba5d82e7019e0409 authored about 6 years ago by Yair Chuchem <[email protected]>
Unify type helps make sure nothing missing in unifyBody implementations

f4e795734a170afdaeca953758b76db6d041b4e5 authored about 6 years ago by Yair Chuchem <[email protected]>
extract AST.Ann

1a34bd8ef5ac52376e08265c06715b2f7ce3abb5 authored about 6 years ago by Yair Chuchem <[email protected]>
extract AST.Unify.IntBindingState

562ca636ae93ac16bbbd27fbd3c053374072a7dd authored about 6 years ago by Yair Chuchem <[email protected]>
export list

31bbef6b86d7e6e8dbbe7079d890f2b6ac65d73d authored about 6 years ago by Yair Chuchem <[email protected]>
more ergonomic module names

2d5998529e4c47127aa6f30860d5c1e1bfb9cb12 authored about 6 years ago by Yair Chuchem <[email protected]>
add comment

65bc16b1b5f925336b5a5dc33afd10d23936a7ac authored about 6 years ago by Yair Chuchem <[email protected]>
start inference work

a1d6cc0ff801446c3e1ba1751a726b14f9a0c713 authored about 6 years ago by Yair Chuchem <[email protected]>
improve README

a738b529ffae879128f4feacc8538f7a196c3f1a authored about 6 years ago by Yair Chuchem <[email protected]>
update README

96d6a41b98f35de28f2096c2ebd2c50f7c324643 authored about 6 years ago by Yair Chuchem <[email protected]>
Unification module

f713bc09b8c33b8507f9ef43c0da6ff423291ef1 authored about 6 years ago by Yair Chuchem <[email protected]>
move Data.Tree.Diverse from lamdu-calculus

468df233c35bd57a1ac61528094673f59455b483 authored about 6 years ago by Yair Chuchem <[email protected]>
first commit: stack new

4eb646d108a68896cd6893ef1b3903941de67993 authored about 6 years ago by Yair Chuchem <[email protected]>