idris Main.idr -p lightyear -p effects -p baseline -o lambdapants
(Requires the lightyear and baseline packages to be installed.)
- Readline-like history and tab completion (using the baseline-idris package)
- Normal order evaluation
- Applicative order evaluation
- Other evaluation strategies
- Fancy ANSI-color coded output 🌈
- Church encoding of natural numbers
- Built-in SKI combinators and other standard terms (
plus,succ,true,false,pair,fact,Y, etc.) 🎿 - Documentation
- Command-line options
- Support for shell commands (
:! <command>) - Chuck Norris joke in error message
- Tests
- More tests