Skip to main content

Source code browse

Revision: 5558

initial writeup of instantiation stuff using small theory instead of welterweight
» Project Revision History

» Checkout URL

sources / BasicCoreFortress

FilenameAuthorRevisionModifiedLog Entry
..
EricAllen 4672 almost 4 years ago Added Basic Core Fortress interp...
EricAllen 4672 almost 4 years ago Added Basic Core Fortress interp...
EricAllen 4672 almost 4 years ago Added Basic Core Fortress interp...
EricAllen 4672 almost 4 years ago Added Basic Core Fortress interp...
EricAllen 4672 almost 4 years ago Added Basic Core Fortress interp...
EricAllen 4672 almost 4 years ago Added Basic Core Fortress interp...
Example bcf code to run through interpreter:
Boolean.bcf
Arith.bcf

To run unit tests:		scala CFTest test

To play with example files: 	
		scala CFTest
		BCF> :load Boolean.bcf
		BCF> :load Arith.bcf
		BCF> Zero().inc().equals(Succ(Zero()))
 
 
Close
loading
Please Confirm
Close