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

move Data.Tree.Diverse module from Lamdu

31bb403fd4bf942a1dc5ed9b8eb946d1fe826030 authored over 6 years ago by Yair Chuchem <[email protected]>
ignore tag files

3f3656883fefc64ab36c44d06eb0f70f7495a93e authored over 6 years ago by Yair Chuchem <[email protected]>
hlint police

f164eac1b3103f61eb01bf1de02456a202db4cdc authored over 6 years ago by Yair Chuchem <[email protected]>
update stack resolver

consistent GHC version with Lamdu's current resolver (less installs to develop both modules)

aa9b8e75d6a1c53eca411b15ffed59ef2cb3cce5 authored over 6 years ago by Yair Chuchem <[email protected]>
Add .dir-locals.el

180beef9f6b2d216db5d90d90b66281611176d16 authored over 6 years ago by Eyal Lotem <[email protected]>
Nominal: Ord instances

fd0adff0a85bfa7c1fdb04165869a0cb5698d852 authored over 6 years ago by Yair Chuchem <[email protected]>
Ord instances

419e1f05f305d4ced4cec13ec66459223fe76c5b authored over 6 years ago by Yair Chuchem <[email protected]>
Export Arbitrary instances at Lamdu.Calc.Val.Annotated.Arbitrary

533aca8513575f681053aa1747d0f3c22230b86d authored over 6 years ago by Eyal Lotem <[email protected]>
Renames: Product -> Record

560de341a268b51e51d745007adb3270eb9f5d5d authored almost 7 years ago by Eyal Lotem <[email protected]>
Renames: Sum -> Variant

a807ca8525f4db4839d34ab8ba6cd81fb9f35063 authored almost 7 years ago by Eyal Lotem <[email protected]>
hlint police and unneccessary extensions

76a6bb273a55436bc5563a50e9546bbdebeb1d46 authored almost 7 years ago by Yair Chuchem <[email protected]>
add couldEq

98efea4115db6fdfb91c8f23e256c9c2be862b03 authored almost 7 years ago by Yair Chuchem <[email protected]>
Semigroup-Monoid proposal changes

Also add some additional warning flags

94f91c37acbc4a98b7a150b94cb645f6d955f865 authored almost 7 years ago by Yair Chuchem <[email protected]>
use lts-10.5

18f818ffd88b8f82bd09240f44ed5f8562096250 authored almost 7 years ago by Yair Chuchem <[email protected]>
Use (<>) from Data.Semigroup

393ad1a67b0273c4717d8dc904b233feb6ffcd79 authored almost 7 years ago by Yair Chuchem <[email protected]>
Identifier: Pretty instance prints printable characters only

753fb81d50abf622da907420f1956ec12542cfa9 authored about 7 years ago by Eyal Lotem <[email protected]>
Remove unused dependency

e5b27ed2be0ec4d8fbb5107fe0114a5e70ae9f7e authored about 7 years ago by Yair Chuchem <[email protected]>
add some docs about nominal types

(taken from an email Eyal wrote)

4626bf28859db1dcc281574e1ae01d279ad03f86 authored over 7 years ago by Yair Chuchem <[email protected]>
documentation improvements and pseudo syntax updates

bfd982e9790007158a7e993b46f165a1d302f45d authored over 7 years ago by Yair Chuchem <[email protected]>
Avoid using deprecated function

(deprecation warning appears when using stack resolver nightly-2017-08-01)

54e69a5ad3ccac24906bf611b68170deab75a4e5 authored over 7 years ago by Yair Chuchem <[email protected]>
fix warning

caf9910f1d888376cbc05665061a2d64d01db4b5 authored over 7 years ago by Yair Chuchem <[email protected]>
use Lens.makeLenses

cb16be03d93531eb8fa4ac992646b9ca9587b9b8 authored almost 8 years ago by Yair Chuchem <[email protected]>
cleanup stack.yaml and update gitignore

92bc36dbeb5c934987efe44e1cb62be029e9193c authored about 8 years ago by Yair Chuchem <[email protected]>
More documentation

0e9d3c5ab776b5b2893d49cc0032638093fbdd1a authored about 8 years ago by Eyal Lotem <[email protected]>
remove Data.ByteString.Hex module

f54abe6f1f9b1eb7923e442fa11f3cf16ad5cfcb authored over 8 years ago by Yair Chuchem <[email protected]>
Remove use of no longer needed deepseq-generics

8193ed819ba5d2b430b3844228ce12d763741729 authored over 8 years ago by Eyal Lotem <[email protected]>
add .gitignore

bf4cec74d9407a4828c35354975f0702daac60f6 authored over 8 years ago by Eyal Lotem <[email protected]>
Lamdu.Calc.Type.Nominal moved here

257003d90ea0f191ebfd15273cc009cd7463e997 authored over 8 years ago by Yair Chuchem <[email protected]>
Type: prisms

67f4424728cdc3b956ee3ef6edde644cbb6170c3 authored over 8 years ago by Yair Chuchem <[email protected]>
Val: make Lenses with TH and add Prisms

1afa1cd4dec052be164b9cb4b0cc2d505dbbba52 authored over 8 years ago by Yair Chuchem <[email protected]>
Better module hierarchy

3c9e61341557e6f66ee603b0d20993c84180d1e4 authored over 8 years ago by Yair Chuchem <[email protected]>
remove Data.Map.Utils

ff3ba8bf65aed729bfa4ff1a715e09949e99902e authored over 8 years ago by Yair Chuchem <[email protected]>
move more stuff from algow module

37edc3ff30523dde0d031f65b1dd6e96c6f12d57 authored over 8 years ago by Yair Chuchem <[email protected]>
cabal file: add -Wall -O2

7fe2633cf73dfd1f331b1ec1398cf6f36d90989d authored over 8 years ago by Yair Chuchem <[email protected]>
extract code from https://github.com/lamdu/Algorithm-W-Step-By-Step package

9a744a7135843bee0271105f15567b677e197827 authored over 8 years ago by Yair Chuchem <[email protected]>
Initial commit

ad3d695dad966024940af86aa4f30ce8bd700257 authored over 8 years ago by Yair Chuchem <[email protected]>