Kamiλ Shakirov
ad656a8d47
Remove realpath ( #1457 )
2021-05-25 11:01:28 +01:00
Ohad Kammar
618c71477e
[ close #1384 ] built-in Snoc-lists [< 1, 2, 3 ] ( #1383 )
2021-05-20 12:56:25 +01:00
Zoe Stafford
7fe8c42116
[ builtin ] O(1) integerToNat for any 'Nat'-like type ( #1403 )
2021-05-13 18:44:24 +01:00
Zoe Stafford
8a7aeca1b0
[ builtin ] O(1) natToInteger for any 'Nat'-like type ( #1363 )
2021-05-10 12:14:19 +01:00
Ohad Kammar
e58bcfc7ef
Semantic highlighting ( #1335 )
...
Co-authored-by: Guillaume ALLAIS <guillaume.allais@ens-lyon.org>
2021-05-10 09:05:43 +01:00
Ruslan Feizerakhmanov
51184c156d
[doc] Interface constructors
2021-05-08 11:36:12 +03:00
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
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
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
