Raoul Hidalgo Charman
2c8f2483de
Update docs to reflect usage of >> in do syntax
2021-05-01 15:18:49 +01:00
Edwin Brady
6d37471ccc
Add --profile flag
...
If set, when compiling this generates an executable which generates
profiling data. Currently supported by Racket and Chez, other backends
silently ignore it.
2021-04-29 15:18:59 +01:00
Zoe Stafford
c75b3f7f14
Add Agda-like builtins ( #1253 )
...
Co-authored-by: Guillaume ALLAIS <guillaume.allais@ens-lyon.org>
2021-04-22 13:08:32 +01:00
Ohad Kammar
e130ee33f4
[doc] Minor tweaks to installation instructions
2021-04-19 14:24:06 +01:00
Georgi Lyubenov
0bbc3cf42b
Update section on custom code gens in updates.rst
...
It is now possible to write your own code generation.
2021-04-07 16:28:46 +01:00
Andor Penzes
b0d6793cfb
[ doc ] Custom backend cookbook ( #1237 )
...
Co-authored-by: Guillaume ALLAIS <guillaume.allais@ens-lyon.org>
2021-04-07 16:24:39 +01:00
Kamil Shakirov
43d0b94567
[ docs ] Update Control.App docs
2021-03-31 18:01:39 +01:00
Kamil Shakirov
ca071a96c3
[ docs ] Update Control.App docs
2021-03-10 23:30:46 +00:00
Stefan Höck
8d4321eb9a
Add Data.Bits to base ( #1033 )
2021-03-04 20:59:56 +00:00
Denis Buzdalov
a74d8e6c2d
[ doc ] Documentation of package lookup was clarified a bit.
2021-03-04 14:51:57 +00:00
Denis Buzdalov
ae43ff688c
[ doc ] Orphaned todo block was removed
2021-03-01 14:50:31 +00:00
Edwin Brady
03b8198560
Add environment variables to documentation
2021-02-28 14:18:19 +00:00
Edwin Brady
d617290dd5
Update packaging documentation
2021-02-27 18:20:55 +00:00
Kamil Shakirov
3ec64a7cfc
[docs] Mention external code generators
2021-02-26 13:18:45 +00:00
Jan de Muijnck-Hughes
bf2e15699e
updated protocol with versioning and version changes.
2021-02-25 10:18:47 +00:00
Jan de Muijnck-Hughes
4d36b754c6
initial dump of IDE protocol documentation from Idris1.
2021-02-25 10:18:47 +00:00
Guillaume ALLAIS
da88b80481
[ fix #794 ] missing cases in recoverable
2021-02-24 20:25:04 +00:00
Dong Tsing-hsuen
505224e9fc
[ typo ] Enum -> Range ( #1099 )
2021-02-22 10:05:08 +00:00
Nil Geisweiller
bb25050746
Remove redundant to
2021-02-18 09:56:42 +00:00
gemmaro
5eafe11de7
A tiny doc fix: the program name was idris
2021-02-17 09:30:52 +00:00
Nil Geisweiller
f390fba766
Rename Sotrable to Storable
2021-02-16 09:51:44 +00:00
Guillaume ALLAIS
5aa4262792
[ fix ] some of the docs
2021-02-10 00:37:06 +00:00
Denis Buzdalov
052e3f0908
A tiny doc fix: heading line was not long enough.
2021-02-04 16:48:19 +00:00
Stiopa Koltsov
e6447e7515
Check docs in CI
2021-02-04 14:59:14 +00:00
Nil Geisweiller
0a24821429
Fix documentation link in typesfuns tutorial
2021-02-02 11:04:44 +00:00
stefan-hoeck
29a6aa45e0
fixed whitespace for *.md and .rst files
2021-01-22 15:08:49 +00:00
stefan-hoeck
1218abfa18
fixed whitespace for *.py files
2021-01-22 15:08:49 +00:00
Edwin Brady
79a89a046f
FAQ addition
2021-01-13 16:31:20 +00:00
Edwin Brady
b35268b774
Update version numbers and bootstrap code
2021-01-13 12:46:06 +00:00
Michael Messer
a1f3424ab8
Remove lamdaRequire
2021-01-05 16:30:11 +00:00
Jonathan Lorimer
4bc1d17506
add command history faq
2020-12-29 16:52:04 -05:00
Jonathan Lorimer
47df67af16
add rlwrap docs
2020-12-29 14:55:00 -05:00
raptazure
043faf8baf
docs: fix grammar
2020-12-16 10:02:34 +00:00
G. Allais
3f6b99e979
[ fix #657 ] RigCount for interface parameters ( #808 )
2020-12-11 11:58:26 +00:00
Denis Buzdalov
a1b624a3bc
Tiny fix of the formatting in the recently added documentation.
2020-12-08 08:56:38 +00:00
Ruslan Feizerahmanov
1dba32a0c4
[ doc ] new application syntax ( #820 )
2020-12-07 18:59:49 +00:00
Jan de Muijnck-Hughes
3a6e779acf
Extended Literate support to include LaTeX.
2020-12-07 14:54:35 +00:00
Jan de Muijnck-Hughes
9c5198cde3
Fixed docs and improved Literate mode.
...
+ Expanded the documentation on how to use literate modes.
+ Added invisible code blocks in Markdown using specially tagged comment blocks: `<!-- idris -->`.
+ Fixed OrgMode specificaton to recognise comment blocks properly.
2020-12-07 14:54:35 +00:00
Andor Penzes
aeab632c7e
[doc] JS FFI examples.
2020-12-06 19:07:34 +00:00
Edwin Brady
bfea7d785a
Merge pull request #766 from mokshasoft/gambit-cg
...
Gambit cg
2020-12-04 15:51:22 +00:00
Jonas Claesson
924166a911
Add GAMBIT_GSC_BACKEND and C directive to Gambit docs
2020-12-03 18:02:54 +01:00
Cotton Hou
52ba8b00a6
Fix broken url to JS code gen page in faq
2020-11-01 11:07:06 +00:00
DavidTheBugWriter
b4b800e967
Update starting.rst
...
Hellow world execute fails on Macos as it doesn't have realpath by default & one needs to install it with coreutils first.
2020-10-24 12:35:13 +01:00
Edwin Brady
3007b5a99d
Generate an executable via CC
...
This builds a .o from the generated C, and statically links with the
libidris2_support library. It doesn't yet dynamically link with any
additional libraries.
2020-10-11 18:35:51 +01:00
Matus Tejiscak
668762e693
Merge branch 'revert-projections' into master
2020-10-11 08:12:00 +02:00
Brandon Elam Barker
28cf2a3083
Making "functional dependencies" easier to find
2020-09-30 19:33:02 +01:00
Brandon Elam Barker
9aefc9f60c
Updating info about backends in FAQ
2020-09-23 18:32:46 +01:00
MarcelineVQ
19bad79847
change runState's to take state first to allow easier use
2020-09-15 09:23:41 +01:00
MarcelineVQ
5acb306bf9
add ability to target scheme flavor in foreign specifiers
...
There's some missing flexibility in how foreign specifiers can be used with
scheme that is addressed here with minimal changes to how scheme specifiers
are read. This opens up uses for users that they otherwise would have had
to modify the compiler's support files to accomplish.
2020-09-13 10:10:53 +01:00
Matus Tejiscak
d98686d4f8
Update doc, fix tests.
2020-09-10 20:33:08 +02:00
