Skip to main content

Navigation Icons in the header

Home Contact Sitemap Search
SoftOption ®

Breadcrumb

  1. Home
  2. Instructional Software for Logic and Source Code
  3. Javascript Widgets

Coded from Haskell

1/28/2020

Example of Lambda Verbose Parse Widget  in use
Example of Lambda One-step Redex Widget  in use
Example of Normal Order and Applicative Order Reductions in Parallel Widget  in use
Example of Normal Order Reductions in Simply Typed Lambda Calculus Widget  in use
Example of Simply Typed Lambda Calculus Constraints for Type Inference Widget  in use

  • The Lambda Verbose Parse Widget
  • The Lambda One-step Redex Widget
  • The Lambda Normal Order and Applicative Order Reductions in Parallel Widget
  • Normal Order Reductions in Simply Typed Lambda Calculus Widget
  • Simply Typed Lambda Calculus Constraints for Type Inference Widget

Book traversal links for Coded from Haskell

  • ‹ The Combinatory Logic Verbose Parse Widget
  • Up
  • The Lambda Verbose Parse Widget ›

Navigation

Show — Navigation Hide — Navigation
  • Browse
  • Search
  • Site map
  • Javascript Widgets
    • Coded from Java
    • Coded from Haskell
      • The Lambda Verbose Parse Widget
      • The Lambda One-step Redex Widget
      • The Lambda Normal Order and Applicative Order Reductions in Parallel Widget
      • Normal Order Reductions in Simply Typed Lambda Calculus Widget
      • Simply Typed Lambda Calculus Constraints for Type Inference Widget
  • Java Applications
  • Source Code
  • History and Background
  • Java Applets
  • Programming the Symbolization Applet
Copyright SoftOption ® Ltd. (New Zealand). Email: support@SoftOption.Us