|
The MinLog For Dialectica Page[ last updated on 03 March 2008, created on 20 May 2006]Since February 2008, the light (monotone) Dialectica with tuples is part of the main MinLog distribution (in parallel with the variant with pairs, develloped and maintained by Schwichtenberg and Trifonov). The extraction module is "modules/diatup.scm" and the examples are under "examples/diatup/*". If you have problems using the main MinLog distribution, or if you want a quick installation of Dialectica Light, I continue to upload here the latest stable snapshots. The older development snapshots (previous to Feb 2008) are here. 080303 The first variant integrated with mainstream MinLog. Installation InstructionsIt is assumed that you have (Petite) Chez Scheme installed on your Computer. A very useful option, particularly when working with the Petite Interpreter is to also have Emacs installed on your Computer.Each snapshots is a ZIP archive of the "minlog" folder and the relevant part of its contents. Simply replace "~" in the file "minlog/init.scm" with your actual minlogpath, like "~/minlog". If you work under (any) version of Microsoft Windows (we highly recommend XP Professional) and unzip in the root folder "C:\" then replace "~" with "C:\minlog". The same replacement will be needed in all of the example files. Enjoy! |