effectfully

This experiment adds the `dropList` builtin so that folks can play with it. Not intended for merging.

This issue is just to have some place where the Education team can share their feedback in free form should they wish so. This doesn't mean that other issues to...

"These modules are needed for compilation but not listed in your .cabal" error

4

I've recently updated my version of `dante` (from one at the beginning of 2022 I think) and now I often get these warnings: ``` : warning: [GHC-32850] [-Wmissing-home-modules] These modules...

[Refac] Make UPLC and TPLC tests more uniform

1

Polished things a little, added some functionality to the `testlib` of UPLC that we already had for TPLC, added a UPLC test.

#7138 lowers down the cost of `equalsData` when the two `Data` objects aren't equal. It would be great to have lower cost for `equalsData`, but implementing it properly is quite...

[Builtins] Allow casing on booleans and integers

37

This adds support for casing on booleans and integers using `Case`, which is the first part of #6602.

[Builtins] Make costing of 'equalsData' more accurate

1

This makes the user not pay for so the nodes that `equalsData` ends up not processing (when `False` is returned early, because two nodes don't match and there's no point...

[AST] [Performance] Use 'Array' instead of 'Vector'

90

Same as #7010 except using `Array` rather than `SmallArray`.

It's extremely easy to introduce a bug by adding a new binder to any of the ASTs because of functions like ```haskell termSubstClosedTerm :: Eq name => name -> Term...

I wanted to make `Data.List.drop` based on the respectieve, but saw some opportunities and decided to lump them in here as well.