Homec4science

Merge pull request #973 from CodeBlock/idris

Authored by Carl Suster <carl@contraflo.ws> on Feb 28 2014, 04:02.

Description

Merge pull request #973 from CodeBlock/idris

Add an Idris template

Event Timeline

Carl Suster <carl@contraflo.ws> committed rGITIGNOREfdc303bb722f: Merge pull request #973 from CodeBlock/idris (authored by Carl Suster <carl@contraflo.ws>).Feb 28 2014, 04:02

Merged Changes

CommitAuthorDetailsCommitted
fef9e2d85d14Ricky Elrod
Add an Idris gitignore 
Feb 28 2014