Skip to content

Instantly share code, notes, and snippets.

View chrisfls's full-sized avatar

Chris chrisfls

88 followers · 52 following
View GitHub Profile
@PedroHLC
PedroHLC / compact-jira.user.css
Last active April 7, 2021 12:28
Compact JIRA with green stories (gold for the empties)
/* ==UserStyle==
@name Compact JIRA
@namespace https://gist.github.com/PedroHLC/2c124b8ae453c6b926dfe565faa14ccd
@homepageURL https://gist.github.com/PedroHLC/2c124b8ae453c6b926dfe565faa14ccd
@updateURL https://gist.githubusercontent.com/PedroHLC/2c124b8ae453c6b926dfe565faa14ccd/raw/compact-jira.user.css
@version 0.9.6
@license Other
@description Slim, with green stories and gold for empty stories
@author PedroHLC (https://pedrohlc.com)
==/UserStyle== */
@johnchandlerburnham
johnchandlerburnham / ATaxonomyOfSelfTypes.md
Last active August 15, 2024 12:26
A Taxonomy of Self Types

A Taxonomy of Self-Types

Part I: Introduction to Self-Types

Datatypes in the Formality programming language are built out of an unusual structure: the self-type. Roughly speaking, a self-type is a type that can depend or be a proposition on it's own value. For instance, the consider the 2 constructor datatype Bool: