Closed clayrat closed 6 years ago
I've ported NList, Parentheses and RegExp examples over from agdarsec. Exp seemed close enough to Arithmetic, only adding vars.
NList
Parentheses
RegExp
agdarsec
Exp
Arithmetic
I also took the liberty of changing some things to the "idiomatic" Idris style, please tell me what you think :)
Looks great to me! Thanks for the PR!
@clayrat Thanks!
I've ported
NList
,Parentheses
andRegExp
examples over fromagdarsec
.Exp
seemed close enough toArithmetic
, only adding vars.I also took the liberty of changing some things to the "idiomatic" Idris style, please tell me what you think :)