aciceri

var triTable = [
	[-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1],
	[0, 8, 3, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1],
	[0, 1, 9, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1],
	[1, 8, 3, 9, 8, 1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1],
	[1, 2, 10, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1],
	[0, 8, 3, 1, 2, 10, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1],
	[9, 2, 10, 0, 2, 9, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1],
	[2, 8, 3, 2, 10, 8, 10, 9, 8, -1, -1, -1, -1, -1, -1, -1],
	[3, 11, 2, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1],

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

#!/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

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

{
  nixpkgs ? <nixpkgs>,
  system ? builtins.currentSystem
}: let
  pkgs = import nixpkgs { inherit system; };
  inherit (pkgs) lib;

  # Bailey–Borwein–Plouffe formula
  piDigit = n: pkgs.runCommand "pi-${toString n}" {} ''
    n=${toString n}; ${lib.getExe pkgs.python314} -c "