Skip to content

Instantly share code, notes, and snippets.

@raichoo
Created January 29, 2014 11:30
Show Gist options
  • Save raichoo/8686168 to your computer and use it in GitHub Desktop.
Save raichoo/8686168 to your computer and use it in GitHub Desktop.
boolElim translated into JavaScript
var __IDR__BoolPreludenuboolElim = function(me0,me1,me2,me3){
var __var_4 = __IDRRT__tailcall(function(){
return __IDR__mEVAL0(me1)
});
if (__var_4 instanceof __IDRRT__Con && 0 == __var_4.tag) {
return me3;
} else if (__var_4 instanceof __IDRRT__Con && 1 == __var_4.tag) {
return me2;
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment