Ecosyste.ms: OpenCollective

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

github.com/lamdu/lamdu-calculus

An extended typed Lambda Calculus
https://github.com/lamdu/lamdu-calculus

Lamdu.Calc.Infer.Refragment generalized into more general AST.Infer.Blame in syntax-tree

c02a2e211331bde2784f1dd2153ef5c46f3f8744 authored over 5 years ago by Yair Chuchem <[email protected]>
syntax-tree switch away from JoinSemiLattice

07bc2e6b34a87dcf44d11ffa86b79c497cfa6f8f authored over 5 years ago by Yair Chuchem <[email protected]>
syntax-tree update and related changes

b4412fe2867086937a96ae38e559106c4b21368c authored over 5 years ago by Yair Chuchem <[email protected]>
Build with Stack 2

1f046ac30d3c74d717e13c6865a77ab7eea10b35 authored over 5 years ago by Yair Chuchem <[email protected]>
Extract Infer.Refragment from Lamdu.Sugar.Convert.Fragment.Heal

916532504e9c8fc4ebe05e7fb302f9dc15230cc7 authored over 5 years ago by Yair Chuchem <[email protected]>
Pretty instance

e57d99244f27d9b6d5d7b9ff0002c58bf4a89b0d authored over 5 years ago by Yair Chuchem <[email protected]>
Add Pretty instance

4d6887553b4ed507adf3706c1868e2782e7c680e authored over 5 years ago by Yair Chuchem <[email protected]>
add alphaEq helper which wraps syntax-tree's alphaEq

e4624d367b79d6011995b1686ec4a869b76621f2 authored over 5 years ago by Yair Chuchem <[email protected]>
syntax-tree has correct alpha-eq

ff1c0b7ad8bd4d9af87f4b05177c416cb08d12d6 authored over 5 years ago by Yair Chuchem <[email protected]>
syntax-tree updates

962c2fc42194eaf3f53e5399df1ca679974a270e authored over 5 years ago by Yair Chuchem <[email protected]>
Oops: Fix TestVals(bench) for MkPure change

bb9b13542630c7fa7d2931b9ddb509ee6a8fd704 authored over 5 years ago by Eyal Lotem <[email protected]>
Update for MkPure change

d8325e9af0cec9ede007aed062a63f70f029f068 authored over 5 years ago by Eyal Lotem <[email protected]>
hlint police

0645cdba54366615dd8ccf07088abbc1f0efc5b2 authored over 5 years ago by Yair Chuchem <[email protected]>
HasTIds instances

671d2999c792f1b185f021e4e7e063b25519a83c authored almost 6 years ago by Yair Chuchem <[email protected]>
Oops sorting of fields's impl for alphaEq was silly (flawed)

36b3059a060075db9172da98eb8d7a702f94f729 authored almost 6 years ago by Yair Chuchem <[email protected]>
syntax-tree updates

b0e7d376d8d606f217441b74df2231d1bd875642 authored almost 6 years ago by Yair Chuchem <[email protected]>
moving Suggest to Lamdu's repo becuase it is highly-related to gui considerations

4394cea20870ff6e50c80cf0d66d47afb554b763 authored almost 6 years ago by Yair Chuchem <[email protected]>
oops sorting the rec-extends didnt actually sort right

bde15114837c05db35a5638804c54773f9bb3fbe authored almost 6 years ago by Yair Chuchem <[email protected]>
outer scope is 0

6e51d7ecdf735bf5f8619b453e2db1bbd528bb43 authored almost 6 years ago by Yair Chuchem <[email protected]>
syntax-tree updates

inference is a bit slower, perhaps some bang patterns or something in syntax-tree could improve ...

37242c69b35ffbe5475c38d6bf4f53e642e8df20 authored almost 6 years ago by Yair Chuchem <[email protected]>
add alphaEq which normalizes rec-extends in different orders

3125bf7f9303b6daddf4b46a2b7adffbf24d81e3 authored almost 6 years ago by Yair Chuchem <[email protected]>
Show instance

c6caa51d28a08b6200b7aa6f3834adb9bf3be732 authored almost 6 years ago by Yair Chuchem <[email protected]>
syntax-tree changes

a8cdc7e7c003a55ecdde38dc07cad2e3b870f1f3 authored almost 6 years ago by Yair Chuchem <[email protected]>
PureInferT --> PureInfer

edb3e55f7d34be996707eec159e6b2de4d058ed9 authored almost 6 years ago by Eyal Lotem <[email protected]>
Remove ScopeTypes newtype

b59d01163215a10d46f1909bb20dfd5d506e136a authored almost 6 years ago by Eyal Lotem <[email protected]>
Scope of term is Scope, not ScopeTypes

0290002a104285438ca6f0332b189845f44deaaa authored almost 6 years ago by Eyal Lotem <[email protected]>
Scope is a knot

9ca7b5ba396c8b3471eb985f70ded887440c15cb authored almost 6 years ago by Eyal Lotem <[email protected]>
Rename InferEnv=>Scope

bee52c87e6d98cc1e9960930f55af40f520a2428 authored almost 6 years ago by Eyal Lotem <[email protected]>
Add runPureInferT

6ac1c145344d16d1c121764cec8924779427a528 authored almost 6 years ago by Eyal Lotem <[email protected]>
Lens.flatRow

3976f1642a9ee05c017b545d2f67ff7efe2704bf authored almost 6 years ago by Yair Chuchem <[email protected]>
Fix PureInfer to also work as a transformer

0a48ab80b03ce9daf55a891d3baae5090009b214 authored almost 6 years ago by Yair Chuchem <[email protected]>
Pretty instance for TypeError

bf3b28545eba1792bcab04dd6fe46853be196e65 authored almost 6 years ago by Yair Chuchem <[email protected]>
instances for ScopeTypes

adfb10640d81770e6031b134c5aecd7746e5594a authored almost 6 years ago by Yair Chuchem <[email protected]>
add instances

526002bd83d1957a2e51c54c6fa47e5ebfae1913 authored almost 6 years ago by Yair Chuchem <[email protected]>
more syntax-tree changes

6e772efc9bcfc51abaf0c37e8c529de427192d39 authored almost 6 years ago by Yair Chuchem <[email protected]>
syntax-tree changes

b7e71941dbcdc6e6f115c650cb0308e955ec5c1b authored almost 6 years ago by Yair Chuchem <[email protected]>
InferState is Ord

* Requiring Ord on QVarGen, which must no longer hold infinite lists

a8880708fe6921ef949104671a4d1e1c0f7b6f54 authored almost 6 years ago by Eyal Lotem <[email protected]>
Add Ord instance to Deps, RConstraints

c48bdd7c9018149b79e659d97048ae283d6cd1e9 authored almost 6 years ago by Eyal Lotem <[email protected]>
Add itermAnn

fa0af9a103d51a115d012a8f9e537c16ebe63797 authored almost 6 years ago by Eyal Lotem <[email protected]>
add instance

9e84f756a953f897f234cfa50994896b351d14af authored almost 6 years ago by Yair Chuchem <[email protected]>
Lamdu.Calc.Infer.varGen

a4055dd28eef690d2b6875edf6ba3a968ac3ef16 authored almost 6 years ago by Yair Chuchem <[email protected]>
Fix benchmark

c8e684df1f05db17590211d26034a67b5ea06d18 authored almost 6 years ago by Yair Chuchem <[email protected]>
Informative type errors

9c4067a7149a7ca21fcd959ba31465ed0a6b607f authored almost 6 years ago by Eyal Lotem <[email protected]>
Revive a generalized tIds traversal for types

0f40aac4a92c18e04471c6514ae9628ffbee7614 authored almost 6 years ago by Eyal Lotem <[email protected]>
Export PureInfer

66ffd0972c9eb7dc0afb13cd6499dd79899735b3 authored almost 6 years ago by Eyal Lotem <[email protected]>
add FromChildren instance

1a5e350cdfda70477fa38e27893ef44e753348ab authored almost 6 years ago by Yair Chuchem <[email protected]>
syntax-tree changes

189d102fd1b79bb2add322d101c9f5ee6ca6b06c authored almost 6 years ago by Yair Chuchem <[email protected]>
PureInferT transformer to support branching in suggest

f62d0523ffb6c028efc029940964dfae289340f2 authored almost 6 years ago by Yair Chuchem <[email protected]>
Add Lamdu.Calc.Definition

54d4c8b7acb31b51a4c424543b43e497e3244154 authored almost 6 years ago by Eyal Lotem <[email protected]>
Extract loadDeps

266cec12036c518d396879271f04b0efa3e9bded authored almost 6 years ago by Eyal Lotem <[email protected]>
Nominal type synonym

8c095d47b8bf481c4e8f102da357f2cdede12709 authored almost 6 years ago by Yair Chuchem <[email protected]>
Partially re-implement Suggest from Lamdu

(at Lamdu.Sugar.Convert.Hole.Suggest in Lamdu)

db19c2f36f0401b2ae8a1483a34dda5178a374ca authored almost 6 years ago by Yair Chuchem <[email protected]>
Update for Flat rows

754f45f4f0889cf0f666cd5595bc297a0de57f44 authored almost 6 years ago by Eyal Lotem <[email protected]>
cabal: default-language for benchmark

8af6efc01c10dcb5b1efbcddb88eb8d5276fab25 authored almost 6 years ago by Eyal Lotem <[email protected]>
T.Scheme type synonym

ab5b81e18e8bd9a158fd6c67ad5f7272d909b223 authored almost 6 years ago by Eyal Lotem <[email protected]>
Type language based on syntax-tree

5dd5006f54f52566f07aa8cd619f5c450ce4ec66 authored almost 6 years ago by Yair Chuchem <[email protected]>
Extract pruneDeps

fe5f416bb636ff7ebb7352d16a802daaa0d5ce10 authored almost 6 years ago by Eyal Lotem <[email protected]>
benchmark: Reorg imports

c293b795c19aa2fb2f8d0448ee9317df3c5bbd6e authored almost 6 years ago by Eyal Lotem <[email protected]>
SPECIALIZE and INLINE pragmas speed things up by about by 50%

More inlines, infer faster!

797e93e145259a228b5200e87cbc99700044fb97 authored almost 6 years ago by Yair Chuchem <[email protected]>
add PureInfer

343c5b5daa6267a312546bb2390f8a38209c5bc7 authored almost 6 years ago by Yair Chuchem <[email protected]>
don't load all globals into scope

23b2ac57a9934ec1b943e6305cabbd35f27974c9 authored almost 6 years ago by Yair Chuchem <[email protected]>
ghci: Add -itest

ca7837b7c94303f7f752d837b8568a6d7f6cc04a authored almost 6 years ago by Eyal Lotem <[email protected]>
Bump version 0.2.0.0

60931511ec9de0dc9ff6343b5eff6fe2ffadfc49 authored almost 6 years ago by Eyal Lotem <[email protected]>
FromNom is a Leaf

342484e8a401d0171874ea408927224a9be4bce2 authored almost 6 years ago by Eyal Lotem <[email protected]>
Remove OpaqueNominal

Those don't need to be declared

73078616010a6763aeb4441dc891812c1de3ad57 authored almost 6 years ago by Yair Chuchem <[email protected]>
Use ToNom constructor from syntax-tree

c40ab92fd00f3a8c31f98de308b0409fc8c036f0 authored almost 6 years ago by Yair Chuchem <[email protected]>
reuse RowExtend

dda84aed798a107ceccb12729fe4a0e95790455f authored almost 6 years ago by Yair Chuchem <[email protected]>
update .gitignore

7d3835f3e07a278dcdc86bd56102acc9358c7805 authored almost 6 years ago by Yair Chuchem <[email protected]>
.ghci: hide base-compat-batteries

4533189d2c88a00b985ec837d87528edad5a4b9c authored almost 6 years ago by Eyal Lotem <[email protected]>
hlint police

53d6edaf9abdc9afc43c894dd13fe5a4ab6c50f3 authored almost 6 years ago by Yair Chuchem <[email protected]>
cleanup

54a8ef22bbc15365fc34a640e5f49b5097cb80c7 authored about 6 years ago by Yair Chuchem <[email protected]>
Un-separate record and variant row-types

It's useful to have a common row-types especially for cases where it is parameterized,
as eviden...

6b25057d453146561ea5dd5e3f3bcca46c8d9e77 authored about 6 years ago by Yair Chuchem <[email protected]>
syntax-tree updates

8513ec4e5c2a95be46451b5ac7f048f2bd9273b1 authored about 6 years ago by Yair Chuchem <[email protected]>
Update syntax-tree dependency

502b8c8ac935d63ca181cfe906bcdf596f440b4e authored about 6 years ago by Eyal Lotem <[email protected]>
stack.yaml: lts-12.24

ec84f93ced78576cd7495923775215ff5ae501fc authored about 6 years ago by Eyal Lotem <[email protected]>
syntax-tree knots reform

8a2752b19528e01eaafb20b0acc6de3b56417458 authored about 6 years ago by Yair Chuchem <[email protected]>
syntax-tree update

13b28ecd7d0221176d3b78004e0fd9ef3af178e2 authored about 6 years ago by Yair Chuchem <[email protected]>
use common terms from AST.Term

d7d0dc720d7171c6a7661acf4337626e8bd696b9 authored about 6 years ago by Yair Chuchem <[email protected]>
syntax-tree changes

36610ccc54436e438fae1abc5f54532ede913cc3 authored about 6 years ago by Yair Chuchem <[email protected]>
syntax-tree changes

6daceb4cc6fe2d06a4f88fec148e71ad086edec8 authored about 6 years ago by Yair Chuchem <[email protected]>
update syntax-tree and related changes

3a72e1433cb98135ad68be7cf5d05f212971c229 authored about 6 years ago by Yair Chuchem <[email protected]>
update .gitignore

0f432766cf2cc4a3a2c55ab0024f85dc811d586e authored about 6 years ago by Yair Chuchem <[email protected]>
use monoChildren

91160d922971b3ff8f6d1d41960a4bd1534db8ec authored about 6 years ago by Yair Chuchem <[email protected]>
uses syntax-tree

afaba682b2573238a235da5c5953f888ea142612 authored about 6 years ago by Yair Chuchem <[email protected]>
lts-12.17

2959559d5399a101d12bb114223352e2a4e1459d authored about 6 years ago by Eyal Lotem <[email protected]>
Type.Constraints: Export names without 'Constraints' suffix

6ea9e749606db65676f350cc711d34b51f5665b8 authored about 6 years ago by Eyal Lotem <[email protected]>
CompositeVarConstraints newtype

18162988f51dd3df11cbd1998aab5367d80a72f0 authored about 6 years ago by Yair Chuchem <[email protected]>
gitignore: Add ghci-out

1a6ff1b61486d2f93838a97399a154570ae3e46a authored about 6 years ago by Eyal Lotem <[email protected]>
Auto-generate lens for compositeVarsConstraints

0bbf316e23d09d2655eb601177bbe6058d2de721 authored about 6 years ago by Yair Chuchem <[email protected]>
remove unused export

693637527af8b720e73a6ce0f585e96c8fd86fa8 authored about 6 years ago by Yair Chuchem <[email protected]>
.ghci: Synchronize warnings with .cabal file

40eaa05a4625cbe3ef0451b09104e6ec344749dc authored about 6 years ago by Eyal Lotem <[email protected]>
hlint police

80307e03895de3bf7dc556d91af7365f401124e4 authored about 6 years ago by Yair Chuchem <[email protected]>
git-search-replace.py -p CompositeVar{,s}Constraints

6e5a4f7f66e72be3b10fd574388a9a10eebd6b24 authored about 6 years ago by Yair Chuchem <[email protected]>
hlint police

a68b3b1ca3a8a87287cdd8e6f64740a8f3b0b596 authored about 6 years ago by Yair Chuchem <[email protected]>
Lam parameterized by fixed point

2d5fefbf932b2c677b7abc36b41ad23ceb0f93b0 authored about 6 years ago by Yair Chuchem <[email protected]>
Move Lamdu.Expr.{Lens,Pure} from AlgoW to this package's Lamdu.Calc.{Lens,Pure}

caebaca0e6b66c079a307608ee6dfea4df660d2b authored over 6 years ago by Eyal Lotem <[email protected]>
remove unneeded extensions

a330201de499ba0edf586337f3ecd491d3e66a75 authored over 6 years ago by Yair Chuchem <[email protected]>
Node is not a newtype but a synonym

d9df5617aeab4f5ef38e55f7ee7cd48c36343f4a authored over 6 years ago by Eyal Lotem <[email protected]>
Add .ghci

e587e14686b45a44120ef34e5dca70fc91b3f0b0 authored over 6 years ago by Eyal Lotem <[email protected]>
Val=>Term using Data.Tree.Diverse

090aeb43105fc79abed3221a8fba26c2fbba046f authored over 6 years ago by Yair Chuchem <[email protected]>