Lamdu commits | Ecosyste.ms: OpenCollective

export witness types

github.com/lamdu/lamdu-calculus - 1e5758b8a416279f7e9b6e5d8748feb606c37124 authored over 5 years ago

remove unneeded imports and simplify/remove kind signatures

github.com/lamdu/lamdu-calculus - 8df059247132dc65186175839152b57337410073 authored over 5 years ago

GHC 8.8 compatibility using th-abstraction and other changes

github.com/lamdu/hypertypes - f8aaf75fff6502f809c9382bb8f11dbf97d5b65d authored over 5 years ago

oops remove unused imports

github.com/lamdu/hypertypes - 013fbf5291236688ac04ac74b3056ed07201fad5 authored over 5 years ago

hypertypes updates

github.com/lamdu/lamdu-calculus - 93ebcd8771188be7d094dd8ffd45e853fba7d0d4 authored over 5 years ago

Tests: use HPlain for LangA

github.com/lamdu/hypertypes - 30f480cd75e866fccc83e7a2f1ecfab30c5562d4 authored over 5 years ago

nix: Use callHackageDirect for lens instead of embedding its nix file

github.com/lamdu/lamdu - 72fcc75285b850f12b1564364ef04fd1107f9b12 authored over 5 years ago

makeHasHPlain works for Scheme

github.com/lamdu/hypertypes - d454180385e30e80a8bb94dd9dd42c2148f389b7 authored over 5 years ago

makeHasHPlain works for LangA

github.com/lamdu/hypertypes - 3c63d05ac2cfdc31b16e1dca8be35f5dbc71791e authored over 5 years ago

update nix, now builds lamdu

github.com/lamdu/lamdu - da8593860c1a17190172278ae22121a0cf052593 authored over 5 years ago

Remove stale nix section of stack.yaml

github.com/lamdu/nodejs-exec - b42c7880973a6eed67dffcfb6641e84de07612f2 authored over 5 years ago

Generic-based derivations for HNodes, HFunctor, and more

Note that Generic1 works for hypertypes which only embed other hypertypes,
and do not nest nodes...

github.com/lamdu/hypertypes - fd535beaad3314764efd6a5fb1f59436bedb2892 authored over 5 years ago

TypedLam more DTALC complaint

github.com/lamdu/hypertypes - 8b608b271a3bfac352b9765284883e3cc01c8105 authored over 5 years ago

Avoid data family HWitness as it prevents sharing and default implementations based on Generic1

HWitness is now a newtype around the HWitnessType type family instead.
The newtype wrapper allow...

github.com/lamdu/hypertypes - 32b54290eb08e101370a287f8f948972a6408aec authored over 5 years ago

Remove dependency on 'which' for nix

* add set -eu to detect failures in the bash script

github.com/lamdu/nodejs-exec - 1cbc71544fa39d8eeb2f477701715a8a3a6e8a49 authored over 5 years ago

A lambda case body is in tail position, like a lambda

github.com/lamdu/lamdu - dd52d40a4cc6f27c9faf02a0b549faf7d5da42d8 authored over 5 years ago

nodejs: use new versions, not harmony-tailcalls

github.com/lamdu/lamdu - 835c1b6ec1123fd9ba61d5df809f5df774260b5d authored over 5 years ago

Compiler: consistent param order

github.com/lamdu/lamdu - 92f8f761ab42f0c95633a2ffdf459a4eedbec186 authored over 5 years ago

nodejs-0.2.0.0 - no upper version restriction on node

github.com/lamdu/nodejs-exec - 44d5b7b58801481638520f52d23fb3c95c2428f0 authored over 5 years ago

Use :*: and :+: from GHC.Generics rather than custom PolyKinds versions of Product and Sum

The standard Product from Data.Functor.Product and Sum don't properly support PolyKinds,
see htt...

github.com/lamdu/hypertypes - 98cc06dd1c1b8ac8b7b7a92c01675f0528f17c70 authored over 5 years ago

Example: simpler types and instances

github.com/lamdu/hypertypes - 45c6d9b720c5869a3bda136685f28c0b257884fc authored over 5 years ago

add instances

github.com/lamdu/hypertypes - d3a64f6ab4d8c76068742b00082eac16bc2d31f4 authored over 5 years ago

remove unneeded manual instance

github.com/lamdu/hypertypes - 71bccc4bab84666f834dac34cacdcceb3cf2084d authored over 5 years ago

rename leftovers in internal TH

github.com/lamdu/hypertypes - 8e15459d3957f2c671c06cb1ab54f28afbab66f4 authored over 5 years ago

Remove &# operator now that building pure terms is easier with HPlain

github.com/lamdu/hypertypes - 5311219601ff719819a596cfae8be3cc9da5b7db authored over 5 years ago

hfolded1

github.com/lamdu/hypertypes - a984beca7301b605228b54f56c923dd2e3bf6bfe authored over 5 years ago

renames: h prefix rather than H suffix

github.com/lamdu/hypertypes - 5b5c98b4663840d5932a435963e0011ad0968fc2 authored over 5 years ago

Compiler: Tail-call optimization via trampolines

github.com/lamdu/lamdu - 834ab1a24434a3aecc4e8bc6a24b948a6633ce92 authored over 5 years ago

Compiler: apply-fromnom disappears instead of applying id-lambda

github.com/lamdu/lamdu - 3042a6e7b3637a4d7a65ecd290d95a0a157f43c9 authored over 5 years ago

compileApply does its own logging

github.com/lamdu/lamdu - 8a14af3d6b0a1c7c8eeaf6b74bf204422d718a73 authored over 5 years ago

Compiler: toNom does not log its underlying result

github.com/lamdu/lamdu - 9a2969e6fca61ab44e7a87e42f5495f5d97e2ff1 authored over 5 years ago

Compiler: Reuse tagIdent

github.com/lamdu/lamdu - c25f56638c5dee6fb22cb0247e40f7ee526b9622 authored over 5 years ago

fix-point=>nest type

github.com/lamdu/hypertypes - f05ec9349a82aa4a4a73dc604b6d5790cb12ed77 authored over 5 years ago

Extract wrapGlobalDef, useGlobal

github.com/lamdu/lamdu - 11af07fc282b2656de3b1dea76e044b74ba9e210 authored over 5 years ago

typo

github.com/lamdu/hypertypes - 79177f51ec6751640723636950e4339e2692ca3a authored over 5 years ago

Lam's Infer instance more compatible with DTALC style

github.com/lamdu/hypertypes - 034ab1888faed4fc40f0f7b276ded71c7b755850 authored over 5 years ago

Use HPlain

github.com/lamdu/hypertypes - 58e854d84633673b5705a08b18e7195b02a4c845 authored over 5 years ago

rename kPlain->hPlain

github.com/lamdu/hypertypes - 8a9ad18b54c4c347c9fc0150cdba98e3366ce802 authored over 5 years ago

fix typos and phrasing

github.com/lamdu/hypertypes - dda8c7f6c88cb0f4829232145066c0d984e23ac6 authored over 5 years ago

README and haddock updates

github.com/lamdu/hypertypes - 448ddda7fb26090aecb5f283157450e73b376afd authored over 5 years ago

upgrade syntax-tree -> hypertypes

github.com/lamdu/lamdu - 92ecafb65ffc481e3f9660f428483a0a624ba675 authored over 5 years ago

Sort imports

github.com/lamdu/lamdu - 16d9e05e2b7d8dadc8e05c3a0538570c7800e986 authored over 5 years ago

rename K suffix to H for Hypertypes

github.com/lamdu/hypertypes - 6a137d92d5a9985eb9c328b2b47518f0a5948876 authored over 5 years ago

lens filteredBy is only in lens >= 4.18

github.com/lamdu/lamdu - 01ba5fd9927f7f6e37d66509bb3f1530abc557c8 authored over 5 years ago

Rename variable names "k" to "h" following rename of "Knot" to "AHyperType"

github.com/lamdu/hypertypes - 29ceb2441ec7b8f762114adb70e0b4640cfef6c8 authored over 5 years ago

README updates

github.com/lamdu/hypertypes - 405034d9304db98a74206040e2e24b9dd2eb465e authored over 5 years ago

Upgrade syntax-tree -> hypertypes

github.com/lamdu/lamdu-calculus - 835fae02bd9494e2808d5cd8366cebed757e32a0 authored over 5 years ago

Replace 'AHyperType -> *' with HyperType'

github.com/lamdu/hypertypes - 810707e724a52802b0b26bed7033e5bdda43e931 authored over 5 years ago

Sort all imports

github.com/lamdu/hypertypes - 6553bf1d0310fdfbb27b0ad3d0283afae5409cc5 authored over 5 years ago

Rename: ITerm=>Inferred

github.com/lamdu/hypertypes - 31c0cdf5e42f209d02fb6245caa6aaed20d4fe7a authored over 5 years ago

Rename class prefixes from 'K' to 'H'

github.com/lamdu/hypertypes - 7a4cd53b6c87fc672474e1157f4917fabc021eb4 authored over 5 years ago

Rename: Hyper.Infer.{Term=>Result}

github.com/lamdu/hypertypes - d2b2ea392d12be0f42da01b9b63e1d204bc9bc60 authored over 5 years ago

Rename: Hyper.{Combinator=>Type.Combinator}

github.com/lamdu/hypertypes - 29b26b85a3341288bfd1b1611e12e83dc7576feb authored over 5 years ago

Rename: Hyper.{Term=>Type.AST}

github.com/lamdu/hypertypes - 522930513b8ae8ce8d6f03f0e81e11d74660ccfe authored over 5 years ago

Remove last uses of 'knot'

github.com/lamdu/hypertypes - 7990612a6147a5058348928ca5ccf94de4c49566 authored over 5 years ago

Extract HyperType type synonym

github.com/lamdu/hypertypes - 55e6c30cf812e5b577dca59577a2feef44a8f139 authored over 5 years ago

Rename Knot => AHyperType

github.com/lamdu/hypertypes - ee3af5cf51417690c1509725ca63893194fff78a authored over 5 years ago

Hyper.{Knot=>Type}.*

github.com/lamdu/hypertypes - 09a405e66640027a4d75fe3d84bbd019d6af4da1 authored over 5 years ago

Rename module hierarchy prefix {AST=>Hyper}

github.com/lamdu/hypertypes - f8a8e6cb09804da4b96dc1439d0a0538a15a1558 authored over 5 years ago

package rename: syntax-tree => hypertypes

github.com/lamdu/hypertypes - 6b6d745ee85627c3851df17d2cc8756701b6567a authored over 5 years ago

remove unneeded subExprs function

github.com/lamdu/lamdu-calculus - f944e9b8272fbad11f2204fca75a3eed7512278c authored over 5 years ago

Use generic combinators rather than custom subExprs traversal

github.com/lamdu/lamdu - d320b0058c3f67e2d2dc284f9f714684571ef8d6 authored over 5 years ago

dependency updates

github.com/lamdu/lamdu - 0a9c2dd924bf2445c7991a5f4eef4a53433b8803 authored over 5 years ago

hlint police

github.com/lamdu/lamdu - de60f878ace4837a3a5cc54e52ab50d028bc104d authored over 5 years ago

Flattened, friendlier witness types

github.com/lamdu/hypertypes - f15bbb743808f17f2600eeafdca3cb9c088e2a36 authored over 5 years ago

nicer generated mapK

github.com/lamdu/hypertypes - 3d28f8c19e3c0b65c03047e38341c84954afadcf authored over 5 years ago

remove partiality in internal TH

github.com/lamdu/hypertypes - a23660e60be995ab9e467e1a4fb496c3da7e0ba9 authored over 5 years ago

internal cleanups in TH

github.com/lamdu/hypertypes - d7fc668c3f8fd4118ed721d6cf352d8bfc8b0c1c authored over 5 years ago

internal renames

github.com/lamdu/hypertypes - 9741ace923ac77e65f6f4b15810106592297103c authored over 5 years ago

gitignore for cabal based builds

github.com/lamdu/hypertypes - f7835e09cb9410767aee966542098093ff377dec authored over 5 years ago

More sensible names internally in TH

github.com/lamdu/hypertypes - c3de722f4bdc18dec6c74b9c59594e3e4102154d authored over 5 years ago

simplify couldEq

github.com/lamdu/lamdu-calculus - f9aec3122217288bc87413d3ab7242803169d503 authored over 5 years ago

ZipMatch instances

github.com/lamdu/hypertypes - c157f2cca44c6412da6ef6e66b1c88f2f8ca7b0b authored over 5 years ago

hlint police

github.com/lamdu/lamdu - f2c0643f37a39bcf2562e994943a42646dc43fde authored over 5 years ago

refactor: reuse Ann rather than pass extra annotation on side

github.com/lamdu/lamdu - 21245f70244ecb4af2a91d0d4dabbd98fdb91188 authored over 5 years ago

more lamdu-calculus changes

github.com/lamdu/lamdu - aa0fe7ac61701d441f6726b6977e4010056b27ca authored over 5 years ago

ZipMatch instance for Term

GetField and Inject changed from functors to knots

github.com/lamdu/lamdu-calculus - f5da8fa2289ef69dae40f9673c8d01ec0fe8c422 authored over 5 years ago

lamdu-calculus changes

github.com/lamdu/lamdu - 1c9e8d321daea59844650c045b4f98bc611a9d87 authored over 5 years ago

Use KPlain rather than combinators to create Pure expressions

github.com/lamdu/lamdu-calculus - 59028df2bb266770652eafce1fec21656a889ec0 authored over 5 years ago

makeKHasPlain supports more cases

These cases are currently used by lamdu-calculus

github.com/lamdu/hypertypes - 23775a87b4aa509cfe2dd02497a2205be0c701cd authored over 5 years ago

hlint police

github.com/lamdu/hypertypes - 20417f00d9f9581bfa56ce6dc7e4c9dab33bc12a authored over 5 years ago

cleanup in TH code

github.com/lamdu/hypertypes - e162331aab6ddb54c51967ecbc440b920ed2def8 authored over 5 years ago

latest syntax-tree updates

github.com/lamdu/lamdu - ee7c9c31aa232aac4ffaa1f39146a513d278ed87 authored over 5 years ago

bump version to upload a new package candidate (docs don't override previous)

github.com/lamdu/hypertypes - 7fb2895ca517b78265f1aa5f0a44d21fc5eaa428 authored over 5 years ago

update stack resolver, remove extra dep

github.com/lamdu/hypertypes - 9c4c26ff00208c132c370ae6773999d8b2ddcfe0 authored over 5 years ago

syntax-tree changes

github.com/lamdu/lamdu-calculus - 1efd6402b5fc8468cc046747ed07e23a8393451a authored over 5 years ago

Replace LangB.Pure with usage of KPlain

github.com/lamdu/hypertypes - a02152f30b81f81ff846c104bf6ad092fa88995f authored over 5 years ago

test cleanups

github.com/lamdu/hypertypes - 1fbf329e1ada11e6a481d4952acac00b4cbffd05 authored over 5 years ago

HasPlain derivation makes flattened plain values

github.com/lamdu/hypertypes - 71b140aaf5645bafdbc67be12b4548929a776ce4 authored over 5 years ago

TypedLam

github.com/lamdu/hypertypes - a7cbe2922e948a4c55b46710befaf35037aedd2c authored over 5 years ago

HasChild instance for ANode

github.com/lamdu/hypertypes - 628118e98474a7cf2300c448f15f3a7568d6a5b0 authored over 5 years ago

haddocks

github.com/lamdu/hypertypes - 9f35857d77a97f1d7a0d037e93453d1c2f632c08 authored over 5 years ago

haddocks and removal of unneeded constraints synonym class

github.com/lamdu/hypertypes - 7546314f0d06e96a5a7b36214a0f23f83a8cabf4 authored over 5 years ago

more haddocks

github.com/lamdu/hypertypes - 32b91c4bea26db003e6201863e30367396605de4 authored over 5 years ago

haddocks

github.com/lamdu/hypertypes - 220a6eff994f66508176e7f8bcaebeed42383134 authored over 5 years ago

Revert "Remove AST.Knot.Prune, either temporarily or will be replaced by ToKnot Maybe"

This reverts commit 2e8b7b8cd6dbf4b4f30dc0af8bcb388938adc7f7.

github.com/lamdu/hypertypes - 9b55aa8feb3b563b7e854d4267c57517db43bebd authored over 5 years ago

replace method with KPointed dependency

github.com/lamdu/hypertypes - 665895f8c4c6efced429f77672907582c767d58f authored over 5 years ago

LocalScopeType extracted from AST.Class.Infer to new module

github.com/lamdu/hypertypes - 4bda97e998cba401521afbef7f90b02e0f028df3 authored over 5 years ago

HasInferredType and HasInferredValue moved to InferOf module

github.com/lamdu/hypertypes - 191aca4e39075650cd7c594366ca0e4689c7bfdb authored over 5 years ago

Infer.{Recursive=>InferOf}

github.com/lamdu/hypertypes - 86d66e331f0f5075d66aaf802432176bb3027e8a authored over 5 years ago