| double_it : IO () | |
| double_it = do | |
| input <- getLine | |
| let n = the Int (cast input) | |
| printLn (n * 2) |
| Idris> :t [1 .. 10] | |
| enumFromTo 1 10 : List Integer | |
| Idris> :t [1 ..] | |
| enumFrom 1 : Stream Integer |
So you want to create a pex that packages your script and its dependencies?
Ok - first to make our script! Call it foo.py:
import requests
if __name__ == '__main__':
req = requests.get("https://raw.githubusercontent.com/pantsbuild/pex/master/README.rst")
print req.text.split("\n")[0]
| (* note that in order to preserve certain order | |
| and also show the conciseness of the implementation, | |
| no tail-recursive is used *) | |
| let ins_all_positions x l = | |
| let rec aux prev acc = function | |
| | [] -> (prev @ [x]) :: acc |> List.rev | |
| | hd::tl as l -> aux (prev @ [hd]) ((prev @ [x] @ l) :: acc) tl | |
| in | |
| aux [] [] l | |
| ;; How to translate LSP configuration examples into Eglot’s format: | |
| ;; | |
| ;; Usually LSP servers will say something like | |
| ;; | |
| ;; rust-analyzer.procMacro.attributes.enable (default: true) | |
| ;; | |
| ;; Translate that into a JSON LSP configuration, you get | |
| ;; | |
| ;; { | |
| ;; "rust-analyzer": { |
| ;;; chatgpt.el --- Simple ChatGPT frontend for Emacs -*- lexical-binding: t -*- | |
| ;; Copyright (C) Gavin Jaeger-Freeborn | |
| ;; This package is free software; you can redistribute it and/or modify | |
| ;; it under the terms of the GNU General Public License as published by | |
| ;; the Free Software Foundation; either version 3, or (at your option) | |
| ;; any later version. | |
| ;; This package is distributed in the hope that it will be useful, |
| (defun cals-per-elf () | |
| (with-temp-buffer | |
| (progn (insert "((") | |
| (insert-file-contents "~/res.txt") | |
| (while (re-search-forward "^$" nil t) | |
| (replace-match ")(" nil nil)) | |
| (end-of-buffer)(insert "))") | |
| (goto-char 0)) | |
| (mapcar (lambda (food-carried) | |
| (cl-reduce #'+ food-carried)) |
| { pkgs }: | |
| let | |
| lib = pkgs.lib; | |
| in | |
| # list of additional packages to add to the packageset | |
| additionalPackages: | |
| # source path of the package (derivation or (filtered) nix path) | |
| assert (lib.all (pkg: pkg ? src) additionalPackages); | |
| # dhall file of that package |
I've sniffed most of the Tinder API to see how it works. You can use this to create bots (etc) very trivially. Some example python bot code is here -> https://gist.github.com/rtt/5a2e0cfa638c938cca59 (horribly quick and dirty, you've been warned!)
| ;;; -*- Mode:Lisp; Syntax:ANSI-Common-Lisp; Package: ASDF-USER -*- | |
| (in-package :asdf-user) | |
| (defsystem :my-new-system | |
| :description "" | |
| :author "Ed L <[email protected]>" | |
| :license "MIT" | |
| :depends-on (#:alexandria | |
| #:uiop | |
| #:serapeum |