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