| package org.enso.database.dryrun; | |
| import com.oracle.truffle.api.TruffleLogger; | |
| import java.util.concurrent.ConcurrentLinkedQueue; | |
| import java.util.concurrent.locks.ReentrantLock; | |
| import java.util.function.Function; | |
| /** | |
| * A helper for ensuring that only one database operation is running at a time, and that maintenance operations |
| Require Import List. | |
| Import List.ListNotations. | |
| Parameter var : Set. | |
| Inductive expr : Set := | |
| | fvar : var -> expr (* to jest chyba niepotrzebne, ale może warto dodać żeby mieć takie właśnie zdania w stylu jakieś tam P *) | |
| | and : expr -> expr -> expr | |
| | or : expr -> expr -> expr | |
| | arrow : expr -> expr -> expr |
| ;; pDOT-mode.el --- sample major mode for editing LSL. -*- coding: utf-8; lexical-binding: t; -*- | |
| ;; Copyright © 2017, by you | |
| ;; Author: your name ( your email ) | |
| ;; Version: 2.0.13 | |
| ;; Created: 26 Jun 2015 | |
| ;; Keywords: languages | |
| ;; Homepage: http://ergoemacs.org/emacs/elisp_syntax_coloring.html |
| ;; -*- mode: emacs-lisp -*- | |
| ;; This file is loaded by Spacemacs at startup. | |
| ;; It must be stored in your home directory. | |
| (defun dotspacemacs/layers () | |
| "Configuration Layers declaration. | |
| You should not put any user code in this function besides modifying the variable | |
| values." | |
| (setq-default | |
| ;; Base distribution to use. This is a layer contained in the directory |
| #! /usr/bin/env python3 | |
| import http.server | |
| import socketserver | |
| import argparse | |
| import os | |
| import os.path | |
| import requests | |
| import urllib.parse | |
| parser = argparse.ArgumentParser(description='Process some integers.') |
Installation instruction for new Spacemacs users.
SPC f e d, add elm to list of installed layers and SPC f e R or just restart the editor)M-x eval-buffer (M-x is usually Left Alt + x)*.luna file or manually enable it by M-x luna-mode.
| #!/usr/bin/env python3 | |
| import subprocess | |
| import sys | |
| import json | |
| head = """ | |
| <head> | |
| <style> | |
| .Comment { | |
| color: grey; |
| #!/usr/bin/env python3 | |
| import subprocess | |
| import sys | |
| import json | |
| if len(sys.argv) < 2: | |
| print("Usage: linter.py [file]") | |
| sys.exit(1) | |
| with open(sys.argv[1], "r") as infile: |
| """Script reverting from new filetracker format to the old one.""" | |
| from __future__ import absolute_import | |
| from __future__ import division | |
| from __future__ import print_function | |
| import argparse | |
| import errno | |
| import os | |
| import sys |
| import os | |
| import sys | |
| import datetime | |
| import subprocess | |
| def run_proc(*args): | |
| return subprocess.check_output(args) | |