huwcampbell.com / icicle
❄️ The Icicle Streaming Query Language ❄️
Star
Fork 0
Watch

Commits on master

Correctly instantiate type annotations for lambdas in function declarations master
Huw Campbell committed
Add tangled workflow
Huw Campbell committed
Remove some old experimentation code:
Huw Campbell committed
Sundry
Huw Campbell committed
Merge pull request #34 from icicle-lang/topic/pure-demand-modes
Huw Campbell committed
Permit functions to demand pure Temporal modes.
Huw Campbell committed
Use canonical instances
Huw Campbell committed
Loosen restrictions on let scans
Huw Campbell committed
Merge pull request #33 from icicle-lang/topic/jack-excision
Huw Campbell committed
Remove disorder dependencies
Huw Campbell committed
Update libraries and GHC versions, add ARM support.
Huw Campbell committed
Small readme updates
Huw Campbell committed
Bump github cache action
Huw Campbell committed
Improve error messages for functions which are under and over applied
Huw Campbell committed
Document and improve applications of modalities
Huw Campbell committed
Fix for graph search and usage set.
Huw Campbell committed
Clean up graph library and add some more tests
Huw Campbell committed
Improve some old comments
Huw Campbell committed
Remove complex feature map modification code.
Huw Campbell committed
Drop an optimisation pass from core
Huw Campbell committed
Don't bother checking max map size in pure map operations.
Huw Campbell committed
Fix inlining shadowed functions in scans and filter lets
Huw Campbell committed
Simplify elaboration of Lets and Lets Scans
Huw Campbell committed
Reduce runs for max map size corpus.
Huw Campbell committed
Fix quadratic traversal in simplification pass.
Huw Campbell committed
Improve REPL test coverage
Huw Campbell committed
Add coverage reporting for source query generation
Huw Campbell committed
Fix core elaboration errors in nested folds with Latest.
Huw Campbell committed
Support for all Pattern types in Filter Lets.
Huw Campbell committed
Improve Let Scan Latest elaboration
Huw Campbell committed
Include tests for the linear graph
Huw Campbell committed
Add the accumulator to usage set for While in linearity checking.
Huw Campbell committed
Use a bidirectional graph for affine testing.
Huw Campbell committed
Support GHCi style multiline input in the repl
Huw Campbell committed
Upgrade megaparsec
Huw Campbell committed
Improve Let Scan type checking.
Huw Campbell committed
Merge pull request #29 from icicle-lang/topic/linear-array-access
Huw Campbell committed
Tighen up alias map and add full support for looping constructs.
Huw Campbell committed
Update repl test output
Huw Campbell committed
Reduce memory usage by recognsising and deleting unnecessary copies.
Huw Campbell committed
Improve complexity of delete from O(N) to O(log(n))
Huw Campbell committed
Surface Array Copy operation into avalanche and use it instead of immutable put.
Huw Campbell committed
Merge pull request #28 from icicle-lang/topic/function-type-annotations
Huw Campbell committed
Improve annotations for applications in source language.
Huw Campbell committed
Remove original Parsec
Huw Campbell committed
Bump Haskeline and other for GHC 8.10
Huw Campbell committed
Handle missing trie part correctly.
Huw Campbell committed
Dusugar literal cases to if then else instead of case on booleans
Huw Campbell committed
Tidy up cases generation for records
Huw Campbell committed
Fixup case analysis for records when operating on different fields
Huw Campbell committed
Merge pull request #26 from icicle-lang/topic/element-folds
Huw Campbell committed
Improve bindings available in group and array fold contexts.
Huw Campbell committed
Add new tests
Huw Campbell committed
Add array fold primitive context.
Huw Campbell committed
Allow folding over element groups as well as aggregate ones.
Huw Campbell committed
Update repl tests with new function
Huw Campbell committed
Fixup theory documentation for new contexts
Huw Campbell committed
Add record patterns.
Huw Campbell committed
Use constraints to propagate let binding types instead of matching them
Huw Campbell committed
Improved desugaring of nested filter lets
Huw Campbell committed