Permalink

	Failed to load latest commit information.
	codegen	Formatting	Dec 28, 2017
	etc	Fix bash path for, e.g. NixOS	Dec 4, 2017
	examples	Make all builtins total and fix examples	Dec 4, 2017
	lib/Vimscript	added binding	Jan 10, 2018
	.gitignore	Build instructions	Nov 29, 2017
	.hindent.yaml	Add conf for formatting tools	Dec 4, 2017
	.hlint.yaml	Add .hlint.yaml, ban Debug.Trace	Dec 5, 2017
	.stylish-haskell.yaml	Add conf for formatting tools	Dec 4, 2017
	.travis.yml	Install more deps	Dec 4, 2017
	LICENSE	Merge stack and idris repos	Nov 29, 2017
	Makefile	Skip building the ipkg by using -i instead	Dec 5, 2017
	README.md	Fix typos in README	Dec 9, 2017
	idris-vimscript.cabal	Move codegen sources one directory down and add tests	Dec 28, 2017
	stack.yaml	Merge stack and idris repos	Nov 29, 2017
	vimscript.ipkg	Rename Builtins file, add many Vim functions	Dec 3, 2017