danielsz

(use-modules (srfi srfi-26))

;; Zero function
(define Z (lambda _ (const 0))) 

;; Successor function
(define (S n) (+ n 1)) 

;; Projector function
(define (P i) ; 

danielsz

(ns pr.core)

;;; basic functions on numbers: zero, successor and projection

(def Z #(fn [& _] 0))

(def S inc)

(defn P [i]
  (fn [& args] (nth args (dec i))))

danielsz

(ns socket.http
  (:require
   [clojure.java.io :as io]
   [clojure.string :as str]
   [clojure.tools.logging :as log])
  (:import [java.net ServerSocket]
           [java.net SocketException]
           [java.nio.file Files]
           [java.io File]
           [java.io InputStream OutputStream]))

danielsz

(ns recursiveparser.cbor
  (:require [clojure.tools.logging :as log])
  (:import [com.google.iot.cbor CborMap CborTextString CborInteger CborArray CborByteString CborSimple]
           [co.nstant.in.cbor.model Map Array SimpleValue UnicodeString ByteString]
           [peergos.shared.cbor CborObject$CborMap CborObject$CborString CborObject$CborByteArray CborObject$CborBoolean CborObject$CborList CborObject$CborLong CborObject$CborMerkleLink]))

(defprotocol Cbor
  (parse [this]))

(extend-type CborMap

danielsz

(ns clojure.polling
  (:require [clj-http.client :as client]
            [clojure.core.async :as async :refer [>!! timeout <! go-loop]]
            [cheshire.core :as json]
            [clojure.tools.logging :as log]))
            
(defn client
  ([endpoint]
   (client/get endpoint))
  ([endpoint c e]

danielsz

Mevyn

Download Meyvn to your local repository

mvn org.apache.maven.plugins:maven-dependency-plugin:3.2.0:get -Dartifact=org.meyvn:meyvn:1.6.0

Check out https://meyvn.org/

danielsz

{
    "run_type": "client",
    "local_addr": "127.0.0.1",
    "local_port": 1080,
    "remote_addr": "naphtali.tuppu.net",
    "remote_port": 443,
    "password": ["yourpassword"],
    "log_level": 1,
    "ssl": {
        "verify": true,

danielsz

(ns nrepl
  (:require [nrepl.core :as nrepl])
  (:import [java.net ConnectException]))

(defn nrepl-send [repl-port x]
  (let [message (cond
                  (string? x) {:op "eval" :code x :id (utils/uuid)}
                  (map? x) x
                  :else (throw (AssertionError. "Wrong input.")))]
    (with-open [conn (nrepl/connect :port repl-port)]

danielsz

(eval-after-load 'clojure-mode
  (font-lock-add-keywords
   'clojure-mode `(("(\\(fn\\)[\[[:space:]]"
                    (0 (progn (compose-region (match-beginning 1)
                                              (match-end 1) "λ")
                              nil))))))

(eval-after-load 'clojure-mode
  (font-lock-add-keywords
   'clojurescript-mode `(("(\\(fn\\)[\[[:space:]]"

danielsz

(define fsm-ho2
  (lambda (str)
    (letrec ([S0 (lambda (b)
		   (case b
		     [(0) S0]
		     [(1) S1]
		     [else #t]))]
	     [S1 (lambda (b)
		   (case b
		       [(0) S2]