sly
A cunning interpreter for the pure untyped λ-calculus.
Star
Fork
Watch

Commits on master

dependabot[bot]
Bump haskell-actions/run-ormolu in the github-actions group
committed
Ignore formatting commit in git blame
committed
Merge pull request #6 from severen/update-supported-ghcs
committed
Update supported GHC versions to {9.6.6, 9.8.2, 9.10.1}
committed
Merge pull request #5 from severen/add-hlint-job
committed
Add HLint job to CI workflow
committed
Set up HLint
committed
Merge pull request #4 from severen/reuse-workflow-shorten-name
committed
Shorten name of REUSE workflow
committed
Merge pull request #3 from severen/format-codebase
committed
Add Ormolu job to CI workflow
committed
Format codebase with Ormolu
committed
Merge pull request #2 from severen/update-actions
committed
Update CI workflow
committed
Add a REUSE compliance check workflow
committed
Add missing licence header
committed
dependabot[bot]
Bump actions/cache from 3 to 4 in the github-actions group
committed
Configure Dependabot to update GitHub actions
committed
Derive IsString for the Name newtype
committed
Refactor parser
committed
Use s and z for Church numeral abstractions
committed
Update maintainer/copyright email address
committed
Update GHC versions used for CI
committed
Symlink LICENSES/GPL-3.0-or-later.txt to LICENSE
committed
Add GHC 9.8.1 to CI
committed
Allow building with GHC 9.8.1
committed
Move from GHC 9.4.7 to 9.4.8 in CI
committed
Add tests for toChurchBool and fromChurchBool
committed
Adopt hlint recommendation
committed
Address cabal check warnings
committed
Tidy up building strings with string-interpolate
committed
Bracket abstractions that are arguments in application
committed
Implement syntax for Church Booleans
committed
Update CI action to use haskell-actions/setup
committed
Update dependencies
committed
Move from GHC 9.4 to GHC 9.6
committed
Replace hardcoded version string
committed
Use postfixed qualified in imports
committed
Use optparse-applicative for argument parsing
committed
Remove use of InputT from runCommand
committed
Remove support for GHC 9.2.5
committed
Switch from mtl to effectful
committed
Update tested GHC versions
committed
Update @actions/cache GitHub action
committed
Use GHC 9.2.5 and 9.4.4 in CI
committed
Optimise substitution implementation
committed
Format code
committed
Remove unicode-data workaround
committed
Use f >>= \case idiom
committed
Update maintainer email address
committed
Become REUSE-compliant
committed
Severen Redwood
Add EditorConfig file
committed
Severen Redwood
Replace use of $ do with do
committed
Severen Redwood
Add property test for fromChurch . toChurch
committed
Severen Redwood
Add initial unit tests
committed
Severen Redwood
Disallow naturals larger than maxBound @Int
committed
Severen Redwood
Minor touch up
committed
Severen Redwood
Implement let-in term-level syntax
committed
Severen Redwood
Add top secret random feature
committed
Severen Redwood
Add prompt commands for bindings
committed