Highlight the redex, recursive definitions, new implementation

• lambda-machine now highlights the redex:
  • A global to be fetched is underlined in green
  • A function to be applied is underlined in blue, and its argument is underlined in red
• Top-level definitions can now use direct recursion
• The implementation has changed from naive substitution to a call-by-need abstract machine

Add strictness annotations and fix bug in evaluation under lambda

• Add strictness annotations. Parameters prefix with ! will be evaluated before the body of the lambda
• Fix a variable capture bug that occurred when evaluating under lambdas

Simplify parsing

• Allow whitespace around list brackets
• Disallow primes in names - just use subscripts or digits
• Enable Sugar/Raw toggle without a scrutinee

Disable controls when there's no scrutinee

Also fix some broken bootstrap styling

Fix save functionality again

0.2.5

Whoops, actually require file-saver now that it's not vendored

Remove unused static dependencies

0.2.4

Remove Makefile, bower dependency, add yarn.lock

Add syntactic sugar to Help, reword a few things

0.2.3

Add syntactic sugar to help, reword some things

Add help button

Adds a help button that brings up a (very short) tutorial

Fix save functionality

0.2.0 has a Save button that doesn't do anything. This fixes that.

Update to PureScript 0.12, purescript package sets, and react-basic

Infrastructure

• Updated to PureScript 0.12
• Started using PureScript package sets instead of bower
• Migrated to yarn

Changes

• Migrated from thermite to purescript-react-basic
• Lambdas with multiple arguments are now supported (but desugared at parse time)