The Code-Bin
Links
Home
Add your code!
All Listings
About
Latest Entry
Featured Scripts
Author's Website
Latest Entries
FFMPEG Thumbnail Scr...
PHP, 0.8KB
Jul. 29, 10:24pm
John
Z80 Assembler, 190 bytes
Feb. 17, 3:36am
John
Z80 Assembler, 176 bytes
Sep. 13, 2:19am
John
Z80 Assembler, 77 bytes
Sep. 13, 2:18am
John
Z80 Assembler, 209 bytes
Sep. 13, 2:17am
bleh
Posted by: blah | March 8, 2010 @ 7:21pm
Other Code
[
Download
]
(* We represent variables as strings containing a name *) type variable = string; (* equality on variable names *) fun eqVar (v0:variable) (v1:variable) = (v0 = v1); (* Formulas are either... *) datatype formula = True (* boolean True *) | False (* boolean False *) | Var of variable (* a simple variable *) | Not of formula (* a negation of a single formula *) | And of (formula list) (* a conjunction of several formulas *) | Or of (formula list) (* a disjunction of several formulas *) | Implies of formula * formula; (* an implication between one formula * and another *)
Syntax Highlighting
[
Open in new window
]
Author Comments
none
Rating
4.54 / 8
48 Votes
http://codebin.yi.org/535
page generated in 0.01 seconds