File tree Expand file tree Collapse file tree 11 files changed +29
-36
lines changed Expand file tree Collapse file tree 11 files changed +29
-36
lines changed Original file line number Diff line number Diff line change 11
2- let truth = x => true ;
3- let untruth = x => false ;
2+ export let truth = x => true ;
3+ export let untruth = x => false ;
44
5- exports . truth = truth ;
6- exports . untruth = untruth ;
Original file line number Diff line number Diff line change 11
2- let conjunction = ( p , q ) => x => p ( x ) && q ( x ) ;
2+ export let conjunction = ( p , q ) => x => p ( x ) && q ( x ) ;
33
4- exports . conjunction = conjunction ;
Original file line number Diff line number Diff line change 11
22// could use recursion
33
4- let conjunctions = function ( predicates ) {
4+ export function conjunctions ( predicates ) {
55
66 return function ( input ) {
77
@@ -15,6 +15,5 @@ let conjunctions = function ( predicates ) {
1515
1616 } ;
1717
18- } ;
18+ }
1919
20- exports . conjunctions = conjunctions ;
Original file line number Diff line number Diff line change 11
2- let disjunction = ( p , q ) => x => p ( x ) || q ( x ) ;
2+ export let disjunction = ( p , q ) => x => p ( x ) || q ( x ) ;
33
4- exports . disjunction = disjunction ;
54
Original file line number Diff line number Diff line change 11
22// could use recursion
33
4- let disjunctions = function ( predicates ) {
4+ export function disjunctions ( predicates ) {
55
66 return function ( input ) {
77
@@ -15,6 +15,5 @@ let disjunctions = function ( predicates ) {
1515
1616 } ;
1717
18- } ;
18+ }
1919
20- exports . disjunctions = disjunctions ;
Original file line number Diff line number Diff line change 11
2- let equivalence = ( p , q ) => x => p ( x ) === q ( x ) ;
2+ export let equivalence = ( p , q ) => x => p ( x ) === q ( x ) ;
33
4- exports . equivalence = equivalence ;
54
Original file line number Diff line number Diff line change 11
2- let implication = ( p , q ) => x => ! p ( x ) || q ( x ) ;
2+ export let implication = ( p , q ) => x => ! p ( x ) || q ( x ) ;
33
4- exports . implication = implication ;
Original file line number Diff line number Diff line change 1+ export * from './boolean.js' ;
2+ export * from './conjunction.js' ;
3+ export * from './conjunctions.js' ;
4+ export * from './disjunction.js' ;
5+ export * from './disjunctions.js' ;
6+ export * from './equivalence.js' ;
7+ export * from './implication.js' ;
8+ export * from './negation.js' ;
9+ export * from './numbers.js' ;
10+ export * from './operators.js' ;
Original file line number Diff line number Diff line change 11
2- let negation = p => x => ! p ( x ) ;
2+ export let negation = p => x => ! p ( x ) ;
33
4- exports . negation = negation ;
Original file line number Diff line number Diff line change 11
2- let divides = y => x => y % x === 0 ;
3- let divisible = y => x => x % y === 0 ;
2+ export let divides = y => x => y % x === 0 ;
3+ export let divisible = y => x => x % y === 0 ;
44
5- exports . divides = divides ;
6- exports . divisible = divisible ;
You can’t perform that action at this time.
0 commit comments