dorchard/gist:18837114c92a2dd0ab696dae497e85ce

Created March 7, 2018 15:30

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/dorchard/18837114c92a2dd0ab696dae497e85ce.js"></script>
Save dorchard/18837114c92a2dd0ab696dae497e85ce to your computer and use it in GitHub Desktop.

Download ZIP

Atom snippets for adding infinity alias in Granule

Raw

gistfile1.txt

	'.source.idris':
	'∞':
	'prefix': 'Inf'
	'body': '∞'

	'.source.haskell':
	'∞':
	'prefix': 'Inf'
	'body': '∞'

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment