Skip to content

Instantly share code, notes, and snippets.

View Saul-Mirone's full-sized avatar
🍼
Working on Milkdown and Blocksuite

Mirone Saul-Mirone

🍼
Working on Milkdown and Blocksuite
View GitHub Profile
@sjoerdvisscher
sjoerdvisscher / laws.hs
Last active July 24, 2018 08:16
First class checkable laws using the free-functors package
{-# LANGUAGE
TypeFamilies
, KindSignatures
, ScopedTypeVariables
, ConstraintKinds
, FlexibleInstances
, FlexibleContexts
, DeriveGeneric
, DeriveAnyClass
, TypeApplications
@Axure
Axure / main.cpp
Last active December 19, 2017 11:42
C++ Meta Programming like Lisp
#include <iostream>
#include <sstream>
#include <utility>
#include <tuple>
#include <string>
#include <cstring>
#include <cassert>
#include <list>
#include <vector>
#include <deque>