Due to overwhelming response, I discontinued mandatory user registration.
The packages are no longer password-protected. You can proceed and download
them without registration. Although, if you want to be informed about
package upgrades, please take a minute and fill in the form below.
Recursive Data Types package
Finite State Machine package
(To use this package, you also need to get the Recursive Data Types package.)