imkiva

#!/usr/bin/env bash

RUN_ONCE_FILE="/etc/ovfyes-run-once"
RUN_EACH_BOOT_FILE="/etc/ovfyes-run-each-boot"

NETPLAN_FILE="/etc/netplan/00-installer-config.yaml"

OFVENV_DEBUG="$(cat <<EOF
<?xml version="1.0" encoding="UTF-8"?>
<Environment

imkiva

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
#include <sys/mman.h>
#include <stdint.h>

int some(int n) {
  return n + 1;
}

imkiva

open import Paths
open data Nat | zero | suc Nat
open data Unit | unit
open data Empty

open data U
| ℕ'
| Π' (A : U) (B : El A → U) (resp~ B)

def resp~ {A : U} (B : El A → U) : Type

imkiva

import java.util.function.BiFunction;

public class Bug {
  sealed interface Term {
    record Lit() implements Term {}
    record Lam(String x, Term a) implements Term {}
  }

  public static <X, T> void call(BiFunction<X, T, T> op, X x, T t) {
    op.apply(x, t);

imkiva

package org.aya.plct;

import com.google.gson.GsonBuilder;
import com.google.gson.JsonDeserializer;
import com.google.gson.annotations.SerializedName;
import kala.collection.immutable.ImmutableSeq;
import kala.tuple.Tuple;
import kala.tuple.Tuple2;
import org.aya.pretty.doc.Doc;
import org.jetbrains.annotations.NotNull;

imkiva

#include <stdio.h>
#include <fcntl.h>
#include <stdint.h>
#include <sys/mman.h>
#include <string.h>
#include <errno.h>
#include <unistd.h>
#include <stdlib.h>

struct Head {

imkiva

--| Basic definitions of natural numbers, booleans and deBruijn indices
--------------------------------------------------------------------------------
open data Nat : Type | zero | suc Nat
open data Bool : Type | true | false
open data DBI : Type | Dbi Nat

def infix ==' (a b : Nat) : Bool
  | zero, zero => true
  | zero, suc b => false
  | suc a, zero => false

imkiva

on run {input, parameters}
	tell application "Finder"
		set flist to selection as alias list
		if length of flist = 0 then
			set fpath to ""
		else
			set fpath to quoted form of POSIX path of first item of flist
		end if
	end tell
	

imkiva

TypeScript 2 hrs 34 mins  ████████████████████▌  97.8%
JSON       3 mins         ▍░░░░░░░░░░░░░░░░░░░░   2.2%

imkiva

get_stack() {
   STACK=""
   # to avoid noise we start with 1 to skip get_stack caller
   local i
   local stack_size=${#FUNCNAME[@]}
   for (( i=1; i<$stack_size ; i++ )); do
      local func="${FUNCNAME[$i]}"
      [ x$func = x ] && func=MAIN
      local linen="${BASH_LINENO[(( i - 1 ))]}"
      local src="${BASH_SOURCE[$i]}"