16 lines (11 loc) · 657 Bytes

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.