Paulo Rafael Feodrippe pfeodrippe

Recursos TLA+

Alguns recursos de TLA+ (em inglês, infelizmente, mas entre no nosso grupo do Telegram em #ALGUM_LINK para tirar dúvidas).

Practical TLA+ (link para comprar o livro) (Hillel Wayne - 2018. Bom para se iniciar nesse mundo)
Specifying Systems (open source) (Lamport - atualizado em 2020, aparentemente. Mais avançado, recomendo ler o do Hillel primeiro)

I hereby claim:

To claim this, I am signing this object:

	import bpy
	from bpy.app.handlers import persistent
	import os


	# This method will select everything, apply all the transforms,
	# export and then undo both (transform apply and select all).
	@persistent
	def VY__export_models(file):
	bpy.ops.object.select_all(action='SELECT')

	;;; init.el --- Prelude's configuration entry point.
	;;
	;; Copyright (c) 2011-2020 Bozhidar Batsov
	;;
	;; Author: Bozhidar Batsov <[email protected]>
	;; URL: https://github.com/bbatsov/prelude
	;; Version: 1.1.0-snapshot
	;; Keywords: convenience

	;; This file is not part of GNU Emacs.

	{:deps
	{io.github.pfeodrippe/dev-tooling {:mvn/version "1.0.48"}
	cheshire/cheshire {:mvn/version "5.11.0"}}

	:paths ["src"]}

	(ns my-clerk.parser
	(:require
	[nextjournal.clerk.viewer :as clerk.viewer]
	[nextjournal.markdown :as md]
	[nextjournal.markdown.parser :as md.parser]
	[fr.jeremyschoffen.prose.alpha.reader.core :as reader]
	[fr.jeremyschoffen.prose.alpha.eval.common :as eval-common]
	[clojure.string :as str]
	[clojure.walk :as walk]))

	{:deps
	{org.clojure/tools.analyzer.jvm {:mvn/version "1.1.0"}
	datascript {:mvn/version "1.0.1"}}}