Termina1

validateAstAndConvertToStore' : TLProgram -> Eff () [STATE TLStore]
validateAstAndConvertToStore' x = ?validateAstAndConvertToStore'_rhs

validateAstAndConvertToStore : TLProgram -> TLStore
validateAstAndConvertToStore x = let initStore = MkTLStore empty empty empty in
                                 let test = run (validateAstAndConvertToStore' x) in
                                     ?hole

Termina1

module Ex06e
//insertion-sort

(* Check that a list is sorted *)
val sorted: list int -> Tot bool
let rec sorted l = match l with
    | [] -> true
    | [x] -> true
    | x::y::xs -> (x <= y) && (sorted (y::xs))

Termina1

// Запрашиваем библиотеку
var VK = require('vk-call').VK;

// Указываем access_token (ключ доступа)
var token = '541a0b8dec33a2098882...4392ccbbd962cf';

// Версию API
var version = '5.92';

// Создаем объект для работы с api используя данные выше

Termina1

#define CYCLES 30000000
#include <stdlib.h>
#include <stdio.h>

static int memory[CYCLES] = {[19] =  1, [0] =  2, [5] = 3, [1] = 4, [10] = 5};

int main () {
  int i = 7;
  int prev = 13;
  int k;

Termina1

FROM ubuntu:20.04 as cuda
ENV TZ=Europe/Moscow
RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
RUN apt-get update && apt-get install --no-install-recommends -y build-essential git \
  wget make build-essential libssl-dev zlib1g-dev libbz2-dev libreadline-dev libsqlite3-dev wget curl \
  llvm libncurses5-dev xz-utils tk-dev libxml2-dev libxmlsec1-dev libffi-dev liblzma-dev ca-certificates gnupg
RUN git clone https://github.com/pyenv/pyenv.git /root/pyenv
RUN /root/pyenv/bin/pyenv install 3.8.0
RUN ln -s /root/.pyenv/versions/3.8.0/bin/python /usr/bin/python
RUN ln -s /root/.pyenv/versions/3.8.0/bin/pip /usr/bin/pip

Termina1

#!/bin/zsh

export XDG_CACHE_HOME=${XDG_CACHE_HOME:=~/.cache}

typeset -A ZINIT
ZINIT_HOME=$XDG_CACHE_HOME/zsh/zinit
ZINIT[HOME_DIR]=$ZINIT_HOME
ZINIT[ZCOMPDUMP_PATH]=$XDG_CACHE_HOME/zsh/zcompdump

zstyle ':completion:*' matcher-list 'm:{a-zA-Z}={A-Za-z}'

Termina1

use serde::Deserialize;
use std::{collections::HashMap, result::*};

pub struct AocOptions {
  pub api: &'static str,
  pub cookie: &'static str,
}

pub fn deserialize_ts<'de, D>(deserializer: D) -> Result<i32, D::Error>
where