Skip to content

Instantly share code, notes, and snippets.

View f-f's full-sized avatar
🍝
All undocumented software will be reverse-engineered and rewritten

Fabrizio Ferrai f-f

🍝
All undocumented software will be reverse-engineered and rewritten
View GitHub Profile
;; deps.edn
{:deps
{dhall-clj {:mvn/version "0.2.0"}}}
;; All the imports we need
(require '[dhall-clj.ast :refer :all])
(require '[dhall-clj.core :refer [input-ast]])
(require '[dhall-clj.typecheck :refer [typecheck]])
{-
So this Dhall is basically JSON + functions + imports + types
More info on the official website, you can see some examples there: https://dhall-lang.org/
I'll try to model in Dhall the YAML schema with embedded lispy you described me,
hoping to show how consistent it gets.
-}
{:c
({:c ({:c (" "), :t :whitespace-chunk}), :t :whsp}
{:c
({:c
({:c
({:c
({:c
({:c
({:c
({:c
@f-f
f-f / ragu.md
Created April 8, 2019 13:21
Fabrizio's mom bolognese

Ingredients:

  • 600g minced meat, mix beef and pork
  • 5l canned tomatoes
  • 1-2 white onion
  • 2 cloves garlic
  • 2 chopped carrots
  • olive oil
  • salt
  • 6-7 dry laurel leaves
  • 10-15 basil leaves
{:c ({:c (), :t :whitespace}
{:c ({:c ({:c ("l" "e" "t"), :t :let-raw}
{:c ({:c (" "), :t :whitespace-chunk}), :t :nonempty-whitespace}),
:t :let}
{:c ({:c ({:c ("x"), :t :ALPHA}), :t :simple-label}
{:c ({:c (" "), :t :whitespace-chunk}), :t :whitespace}),
:t :label}
{:c ("=" {:c ({:c (" "), :t :whitespace-chunk}), :t :whitespace}), :t :equal}
{:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ("1"),
:t :DIGIT}),
{:c ({:c (), :t :whitespace}
{:c ({:c ({:c ("l" "e" "t"), :t :let-raw}
{:c ({:c (" "), :t :whitespace-chunk}), :t :nonempty-whitespace}),
:t :let}
{:c ({:c ({:c ("x"), :t :ALPHA}), :t :simple-label}
{:c ({:c (" "), :t :whitespace-chunk}), :t :whitespace}),
:t :label}
{:c ("=" {:c ({:c (" "), :t :whitespace-chunk}), :t :whitespace}), :t :equal}
{:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ({:c ("1"),
:t :DIGIT}),
@f-f
f-f / Persona.php
Last active January 22, 2019 07:27
<?php
class PersonaUser {
private function isEntitled($uuid = null, $token = null) {
$allowed_products = array("LS DIGI");
$entitled = false;
$personaUrl = "https://persona.api.ksfmedia.fi/v1"
$personaConfig = new \OpenAPI\Client\Configuration();
$personaConfig->setHost($personaUrl);
(ns clojure-meetup.demo)
;; This is the main API of the package
;; - `input-ast` compiles the Dhall source, returns AST
;; - `input` also runs `eval` on the AST, so we get Clojure
(require '[dhall-clj.core :refer [input input-ast]])
@f-f
f-f / spacemacs-cheshe.md
Last active July 31, 2019 16:09 — forked from robphoenix/spacemacs-cheshe.md
Spacemacs Cheat Sheet

Useful Spacemacs commands

  • SPC q q - quit
  • SPC w / - split window vertically
  • SPC w - - split window horizontally
  • SPC 1 - switch to window 1
  • SPC 2 - switch to window 2
  • SPC w c - delete current window
  • SPC TAB - switch to previous buffer
  • SPC b b - switch buffers

Keybase proof

I hereby claim:

  • I am f-f on github.
  • I am ff (https://keybase.io/ff) on keybase.
  • I have a public key whose fingerprint is 782F 31DD F11F 9DBB 8C17 8468 660B AD4A 3494 9D71

To claim this, I am signing this object: