Skip to content

Instantly share code, notes, and snippets.

View adimanea's full-sized avatar

Adrian Manea adimanea

36 followers · 152 following
View GitHub Profile
@adimanea
adimanea / proust.rkt
Last active January 25, 2022 08:13
P. Ragde's Proust
;; P. Ragde -- Proust, a Nano Proof Assistant (2016)
#lang racket
(struct Lam (var body)) ; lambda expression
(struct App (func arg)) ; application
(struct Arrow (domain codomain)) ; function
(struct TA (type var)) ; type annotation
;; expr = (lambda x => expr)
@adimanea
adimanea / my-init.el
Created May 5, 2017 04:03
My Emacs init
(setq user-full-name "Adrian Manea")
(setq user-mail-address "adrianmanea@fastmail.fm")
(require 'package)
(add-to-list 'package-archives '("melpa" . "https://melpa.milkbox.net/packages/"))
(package-initialize)
(server-start) ;; for emacsclient = $EDITOR = ec in terminal
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ===GLOBAL & INTERFACE TWEAKS
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
@adimanea
adimanea / emacs.md
Last active March 3, 2019 09:14
My emacs tips, tricks & config