Changes
Page history
note Text.Parser exists
authored
Jun 29, 2017
by
Janus Troelsen
Show whitespace changes
Inline
Side-by-side
Contributions-Needed.md
View page @
3c6098fb
...
@@ -29,6 +29,8 @@ It should also make it easy (or at least possible) to write *total*
...
@@ -29,6 +29,8 @@ It should also make it easy (or at least possible) to write *total*
parsers. Using Nils Anders Danielsson's total parser combinators (from Agda)
parsers. Using Nils Anders Danielsson's total parser combinators (from Agda)
as a starting point seems a good idea.
as a starting point seems a good idea.
In June 2017,
[
`Text.Parser`
](
https://github.com/idris-lang/Idris-dev/commit/180fc75336577d329d7e03a05d81f9d74c8e6000
)
was added.
## LLVM Code Generation
## LLVM Code Generation
Or, indeed, any form of code generation which aims at a fast run time (such as via
[
Malfunction
](
https://github.com/stedolan/idris-malfunction
)
).
Or, indeed, any form of code generation which aims at a fast run time (such as via
[
Malfunction
](
https://github.com/stedolan/idris-malfunction
)
).
...
...
...
...
