Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

13 lines (12 sloc) 0.264 kb
// Simple test script
main[
//rule bla-rule : [ 1 ] -> [ 2 ];
//rule bla2rule : [ `x ] -> [ `y + 1 ] where { `y := ![ `x ]; };
//strategy whatever_id {
//id; debug
//};
//<(bla-rule; whatever_id)> ![ 1 ];
![ 7 * 8 ];
where(debug);
//bla2rule
]
Jump to Line
Something went wrong with that request. Please try again.