Deduce

The web page for Deduce is at the following link:

https://jsiek.github.io/deduce/

The directory structure:

• /docs Documentation for contributing to Deduce
• /gh_pages Source code for the Deduce website
• /lib Deduce library files. This includes Nat, List, etc.
• /live_code_vercel_api Source code for Deduce live code
• /logos The Hippopotamus logo and other images.
• /test Deduce files used for testing Deduce.