aciceri

const T = (x) => ((y) => x)
const F = (x) => ((y) => y)
const ifThenElse = (cond) => ((a) => ((b) => cond(a)(b)))

const cons = (a) => ((b) => ((c) => c(a)(b)))
const car = (l) => l(T)
const cdr = (l) => l(F)
const nil = cons(T)(T)
const isNil = car
const node = (x) => cons(F)(x)

aciceri

#include <stdio.h>
#include <stdlib.h>

/* Roba relativa alla gestione della memoizzazione, in teoria riutilizzabile per
 * diverse funzioni */
#define LUNGHEZZA 1000

struct { //Memoria globale, cioe' vettore di coppie input/output
    int in, out;
} memoria[LUNGHEZZA];

aciceri

{
  description = "An Haskell application";

  inputs = {
    nixpkgs.url = github:NixOS/nixpkgs;
    flake-utils.url = github:numtide/flake-utils;
    easy-hls-src.url = github:jkachmar/easy-hls-nix;
  };

  outputs = { self, nixpkgs, flake-utils, easy-hls-src }:

aciceri

#!/usr/bin/env python3

from sys import exit, stdin
from argparse import ArgumentParser, RawDescriptionHelpFormatter, FileType
from types import CodeType
from dis import dis, opmap
import marshal
from importlib.util import MAGIC_NUMBER
from textwrap import dedent