katrinafyi

diff --git a/mill-derivation/lib/dependencies.nix b/mill-derivation/lib/dependencies.nix
index 422dacb..346ecea 100644
--- a/mill-derivation/lib/dependencies.nix
+++ b/mill-derivation/lib/dependencies.nix
@@ -6,7 +6,9 @@
   gnused,
   lib,
   rdfind,
-  sbt,
+  mill,

katrinafyi

#!/usr/bin/env python3
# vim: ts=2 sts=2 et sw=2

from collections import defaultdict
import os
import re
import sys
import json

'''

katrinafyi

#include <stdio.h>
int main(void){return 3;}

katrinafyi

Tue, Oct 29, 2024, 16:26:26 - kait: hello, i need a slightly customised LLVM for my work and the llvmPackages Nix code is a bit confusing. what are the suggested ways to override LLVM with cmake flags (e.g. LLVM\_TARGETS\_TO\_BUILD) and to point it to a particular commit of the llvm repo (i.e. override the src)?
Tue, Oct 29, 2024, 16:27:53 - kait: i would like to do this in the "correct" way to get a consistent llvmPackages
Tue, Oct 29, 2024, 16:29:46 - ElvishJerricco: kait: IIRC the llvm nix code is pretty complicated, and I doubt it's designed with that use case in mind (Tristan Ross or emily can probably correct me if I'm wrong on that). It might be easiest to start with editing the expressions in nixpkgs directly to get started
Tue, Oct 29, 2024, 16:30:41 - emily: I think it does actually let you add new versions
Tue, Oct 29, 2024, 16:30:56 - emily: if you look at `llvmVersions` and how it's used in `pkgs/development/compilers/llvm/default.nix `
Tue, Oct 29, 2024, 16:30:58 - ElvishJerricco: oh, that must 

katrinafyi

var coqdocjs = coqdocjs || {};

coqdocjs.repl = {
    " ": "\u00A0",
    "forall": "∀",
    "exists": "∃",
    "~": "¬",
    "/\\": "∧",
    "\\/": "∨",
    "->": "→",

katrinafyi

#!/usr/bin/env python3
# vim: ts=2:sw=2:expandtab:autoindent

"""
format_anything.py implements pretty-printing of any expression
with parentheses.
"""

import io
import re

katrinafyi

From 1c0d426700fe52da7e46bc17a111e103ded0f91b Mon Sep 17 00:00:00 2001
From: rina <[email protected]>
Date: Mon, 15 Jul 2024 16:32:32 +1000
Subject: [PATCH] ci: discover histogram parts dynamically

untested
---
 .github/workflows/run-examples.yml | 20 ++++++++++++++++++--
 1 file changed, 18 insertions(+), 2 deletions(-)

katrinafyi

theory Scratch
  imports CTT.CTT
begin

lemma
  assumes "X type" "⋀x. x:X ⟹ P(x) type" "Q type"
  assumes "g : ∑x:X. (P(x) ⟶ Q)"  
  shows "h : (∏x:X. P(x)) ⟶ Q"
  using assms
  sorry

katrinafyi

Outlook Web Access Compose Urls

blogs.msdn.microsoft.com/carloshm/2016/01/16/how-to-compose-a-new-message-or-event-and-populate-fields-in-office365/

Compose New Message (Mail): (updated 2021)

https://outlook.office.com/mail/deeplink/compose

Compose Mail Parameters

katrinafyi

From b07887d9ce7a73f251221565a526d8dc6439b673 Mon Sep 17 00:00:00 2001
From: Kait Lam <[email protected]>
Date: Sat, 17 Jun 2023 12:22:55 +1000
Subject: [PATCH 1/5] update rutorrent to v4.1.6-hotfix

---
 pkgs/applications/networking/p2p/rutorrent/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/applications/networking/p2p/rutorrent/default.nix b/pkgs/applications/networking/p2p/rutorrent/default.nix