Commit792c456

Vanessa McHale

committed

gitignore

1 parentf5a472b commit792c456Copy full SHA for 792c456

File tree

+29

-0

lines changed

+29

-0

lines changed

Lines changed: 2 additions & 0 deletions

Lines changed: 27 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,27 @@`
	`1`	`+[package]`
	`2`	`+name ="vmchale/recursion_schemes"`
	`3`	`+version ="0.1.0"`
	`4`	`+authors = ["Vanessa McHale <vanessa.mchale@iohk.io>"]`
	`5`	`+description ="A recursion schemes library for Idris"`
	`6`	`+license ="BSD3"`
	`7`	`+`
	`8`	`+[dependencies]`
	`9`	`+"vmchale/comonad" = {git ="http://github.com/vmchale/comonad" }`
	`10`	`+"idris-hackers/free" = {git ="https://github.com/vmchale/idris-free" }`
	`11`	`+`
	`12`	`+[dev_dependencies]`
	`13`	`+"git/specdris" = {git ="https://github.com/vmchale/specdris" }`
	`14`	`+`
	`15`	`+[targets.lib]`
	`16`	`+path ="."`
	`17`	`+mods = ["Data.Functor.Foldable"`
	`18`	`+ ,"Data.Functor.Foldable.Exotic"`
	`19`	`+ ,"Data.Functor.Foldable.Instances"`
	`20`	`+ ,"Data.Functor.Foldable.Mod"`
	`21`	`+ ]`
	`22`	`+idris_opts = ["--warnreach"]`
	`23`	`+`
	`24`	`+[[targets.test]]`
	`25`	`+name ="recursion_schemes-test"`
	`26`	`+main ="Test/Spec.idr"`
	`27`	`+idris_opts = ["--warnreach"]`

Comments

(0)