This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module TM where | |
import Debug.Trace (trace) | |
import qualified Data.Set as Set | |
import qualified Data.Stream as Stream | |
import Data.List (drop, dropWhile, head, iterate) | |
data TMAnswer = Accept | Reject deriving (Show) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ config, lib, pkgs, ... }: | |
let | |
qca9377_firmware = pkgs.callPackage ./qca9377_firmware.nix { }; | |
in | |
{ | |
imports = | |
[ <nixpkgs/nixos/modules/installer/scan/not-detected.nix> | |
]; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#ifndef DEBUG_UTILS_C | |
#define DEBUG_UTILS_C | |
#ifdef DEBUG | |
#include <stdio.h> | |
#define precision_unfactor 10000000ull | |
/* diff 2 timespec structs easily, used in following macros. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Loading /home/nivpgir/.emacs.d/core/core-load-paths.el (source)...done | |
Loading /home/nivpgir/.spacemacs...done | |
Setting the font... | |
(Spacemacs) Warning: Cannot find any of the specified fonts (Source Code Pro)! Font settings may not be correct. | |
PNG warning: Interlace handling should be turned on when using png_read_image | |
Open the quickhelp. | |
Contacting host: melpa.org:443 | |
Importing package-keyring.gpg...done | |
Contacting host: melpa.org:443 [2 times] | |
Package refresh done |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;; -*- 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 |