adrianparvino

      listToAttrs (builtins.concatMap (name:
        [(nameValuePair "duplicity-${name}"         gcfg.archives.${name}.backupService)
         (nameValuePair "duplicity-${name}-cleanup" gcfg.archives.${name}.backupService)
        ]
      ) (builtins.attrNames gcfg.archives));

adrianparvino

{
  environment.systemPackages = with pkgs; let
    ghc = ghcWithPackages (hpkgs: with hpkgs;
      [ xmonad
        xmonad-contrib
        xmonad-extras
      ]);
    system = [];
    word_editing = [];
    media = [];

adrianparvino

{
  environment.systemPackages = with pkgs; let
    otacon = pkgs.writeScriptBin "otacon"
      ''
        #!${pkgs.stdenv.shell}
        echo 'Baka onii-chan!'
      '';
    yi = callPackage /home/myrl/Development/yi {};
    system = [ efibootmgr grub2_efi ];
    word_editing = [ evince ]; # tex libreoffice ghostscript biber plover

adrianparvino

Currently defined functions:
        [, [[, acpid, add-shell, addgroup, adduser, adjtimex, arp, arping, ash, awk, base64, basename, beep, blkid, blockdev, bootchartd, brctl, bunzip2, bzcat, bzip2, cal, cat, catv, chat, chattr, chgrp, chmod, chown,
        chpasswd, chpst, chroot, chrt, chvt, cksum, clear, cmp, comm, conspy, cp, cpio, crond, crontab, cryptpw, cttyhack, cut, date, dc, dd, deallocvt, delgroup, deluser, depmod, devmem, df, dhcprelay, diff, dirname, dmesg,
        dnsd, dnsdomainname, dos2unix, du, dumpkmap, dumpleases, echo, ed, egrep, eject, env, envdir, envuidgid, ether-wake, expand, expr, fakeidentd, false, fbset, fbsplash, fdflush, fdformat, fdisk, fgconsole, fgrep, find,
        findfs, flock, fold, free, freeramdisk, fsck, fsck.minix, fsync, ftpd, ftpget, ftpput, fuser, getopt, getty, grep, groups, gunzip, gzip, halt, hd, hdparm, head, hexdump, hostid, hostname, httpd, hush, hwclock, id,
        ifconfig, ifdown, ifenslave, ifplugd, ifup, init, insmod, install, ionice, iostat, ip, ipaddr, i

adrianparvino

[myrl@myrl:~/RISCV/diskimage-linux-riscv-2018-09-23]$ temu root-riscv64.cfg
[    0.265492] NET: Registered protocol family 17
[    0.265826] 9pnet: Installing 9P2000 support
[    0.268725] EXT4-fs (vda): couldn't mount as ext3 due to feature incompatibilities
[    0.269414] EXT4-fs (vda): mounting ext2 file system using the ext4 subsystem
[    0.275203] EXT4-fs (vda): mounted filesystem without journal. Opts: (null)
[    0.275409] VFS: Mounted root (ext2 filesystem) on device 254:0.
[    0.275965] devtmpfs: mounted
[    0.276267] Freeing unused kernel memory: 80K
[    0.276385] This architecture does not have kernel memory protection.

adrianparvino

#include"common.h"
#include<stdio.h>
#include<stddef.h>

void prompt_( char *prompt, char *dest, size_t count )
{

	fprintf(stderr, "%s ", prompt);

	char ch;

adrianparvino

	const app = new Vue({
	  el: '#app',
	  data: {
	    handle: null,
	    handleColor: '#F1F1F1',
	    handleStrokeColor: '#333333',
	    handleStrokeWidth: 2,
	    resizeHandleRadius: 4,
	    rotateHandleRadius: 6,
	    activeStrokeColor: 'black',

adrianparvino

axiom([A | _], [A | _]).

andLL([and(A, _) | Gamma], Delta) :- solve([A | Gamma], Delta).
andLR([and(_, B) | Gamma], Delta) :- solve([B | Gamma], Delta).
andI(Gamma, [and(A, B)]) :-
    solve(Gamma, [A]),
    solve(Gamma, [B]).

orLL(Gamma, [or(A, _) | Delta]) :- solve(Gamma, [A | Delta]).
orLR(Gamma, [or(_, B) | Delta]) :- solve(Gamma, [B | Delta]).

adrianparvino

Require Import ZArith_base.
Require Import ZArith.BinInt.
Require Import Omega.

Local Open Scope Z.

Definition Even (x : Z) := exists (k : Z), x = 2*k.
Definition Odd (x : Z) := exists (k : Z), x = 2*k + 1.

Theorem even_plus_even : forall (x y : Z), Even x -> Even y -> Even (x + y).

adrianparvino

Require Import ZArith_base.
Require Import ZArith.BinInt.
Require Import Classes.RelationClasses.
Require Import Omega.

Local Open Scope Z_scope.

Definition Divisible (x n : Z) : Prop := exists (k : Z), k*n = x.
Definition Modulo (n x y : Z) : Prop := Divisible (x - y) n.
Notation "( x == y ) 'mod' n" := (Modulo n x y) (at level 50).