Niklas Larsson
4d8d85de7b
Merge pull request #4778 from cramsay/more_proof_doc_fixes
...
Additional proofs doc fixes
2019-12-02 01:13:18 +01:00
Niklas Larsson
0736219e78
Merge pull request #4700 from martinbaker/mydoc
...
Add Documentation for Elaborator Reflection
2019-12-02 01:08:14 +01:00
Niklas Larsson
21434e0200
Merge pull request #4785 from buzden/absurd-for-so
...
Couple of convenience absurd-related functions were added to `Data.So`
2019-11-25 14:46:32 +01:00
Niklas Larsson
b0a55aabbd
Merge pull request #4784 from buzden/effects-tutorial-fix
...
Effects tutorial fix and additon of small clarification
2019-11-25 14:44:20 +01:00
Niklas Larsson
7d34ebc5d9
Merge pull request #4783 from buzden/reference-docs-corrections
...
Corrections in the `docs/reference`
2019-11-25 14:43:42 +01:00
Denis Buzdalov
8cf5fc68e4
Couple of convenience absurd-related functions were added to Data.So.
2019-11-24 02:53:51 +03:00
Denis Buzdalov
b41b8c66cf
One important comment for those who wants to use actual lib was added.
2019-11-24 02:10:19 +03:00
Denis Buzdalov
741c8f7185
Existing note has been put to a special note block.
2019-11-24 02:08:15 +03:00
Denis Buzdalov
820726846f
Small (typo?) corrections.
2019-11-24 02:07:34 +03:00
Denis Buzdalov
cdf947a391
Effects summary was updated according to the current Eff definition.
2019-11-24 01:57:50 +03:00
Denis Buzdalov
2f0f04cdb5
Some corrections in the docs/reference were done.
2019-11-23 21:33:00 +03:00
Niklas Larsson
8526a9f7df
Merge pull request #4776 from buzden/fix-proof-docs
...
Proofs docs were fixed a little
2019-11-19 19:09:14 +01:00
Niklas Larsson
6539ef419c
Merge pull request #4777 from bwignall/typo
...
Fix small typo
2019-11-19 19:08:33 +01:00
Niklas Larsson
f5e68ee11d
Merge pull request #4780 from buzden/stylish-stack-bump
...
An attempt to fix recently failing travis CI build job
2019-11-19 19:07:12 +01:00
Denis Buzdalov
5e74cd73c9
An attempt to use proper Cabal version.
2019-11-19 17:38:59 +03:00
Denis Buzdalov
59f26a97e4
Needed packages were added to the stack.yaml.
2019-11-19 15:52:06 +03:00
Denis Buzdalov
03b452e5b7
Version of stack used for the style check was bumped.
2019-11-19 14:53:54 +03:00
Craig Ramsay
df20a3243b
Fix example code in proof docs
2019-11-12 13:50:31 +00:00
Craig Ramsay
9c5871986b
Fix typos and add escape characters
2019-11-12 13:50:31 +00:00
Craig Ramsay
6c2183fb59
Add titles to proof docs
...
Generates proper hierarchy in ToCs and the side-bar. Also avoids
typesetting anomalies when bulleted lists appear before the 1st
section heading.
2019-11-12 13:50:23 +00:00
Brian Wignall
bd3929f57b
Fix small typo
2019-11-11 14:07:24 -05:00
Niklas Larsson
f3cff28059
Merge pull request #4772 from clayrat/patch-16
...
add SortedMap.singleton
2019-11-07 15:17:46 +01:00
Niklas Larsson
103a454593
Merge pull request #4773 from sysvinit/effects-docs-typos
...
Fix minor spelling errors in effects idrisdoc
2019-11-07 15:17:12 +01:00
Niklas Larsson
5f625780f5
Merge pull request #4746 from nickdrozd/ack
...
Add Ackermann function definitions and proof
2019-11-07 15:15:55 +01:00
Denis Buzdalov
1d5eb9c6f0
Proofs docs were fixed a little.
...
Mostly, backticks were added to set the code where needed.
Also, couple of code blocks were added, "i.e." was added
for clarification and one misprint fixed.
2019-11-07 15:54:47 +03:00
Nick Drozd
c7c1c27ae9
Add Ackermann function definitions and proof
2019-10-31 08:43:32 -05:00
Molly Miller
c67d49cf05
Correct a couple of minor typos in the effects package idrisdoc
2019-10-26 21:24:10 +01:00
Alex Gryzlov
e6b19fb42d
add SortedMap.singleton
2019-10-25 23:38:58 +03:00
Niklas Larsson
095fb31160
Merge pull request #4771 from sysvinit/ffi-docs
...
Update arguments to MKSTR() in FFI docs.
2019-10-23 09:43:26 +02:00
Molly Miller
24c75712e5
Correct MKSTR arguments in FFI docs.
...
The documentation for returning a `Raw String` from C into Idris code mentions
the use of the MKSTR() function, however it's only passed one argument in the
example, when in fact it takes a `VM *` (as a pointer to the currently executing
Idris VM) as well as a `char *`.
2019-10-22 22:12:22 +01:00
Niklas Larsson
454f0b05e1
Merge pull request #4770 from idris-lang/appveyor-fix
...
Fix Appveyor by pinning cabal
2019-10-21 19:38:32 +02:00
Niklas Larsson
47d5336e44
Fix Appveyor by pinning cabal
...
Cabal 3 doesn't work, for some reason the paths to the exes are absolute, and make uses them as relative when building the libs.
2019-10-21 14:10:13 +02:00
Niklas Larsson
3b698211bf
Merge pull request #4759 from lodi/updateDeps
...
Loosen ansi-terminal dependency to accept 0.9.x
2019-10-21 13:34:33 +02:00
Niklas Larsson
6f3f4ee707
Merge pull request #4769 from sysvinit/rebuild-tutorial-pdf
...
Update tutorial PDF
2019-10-21 13:33:55 +02:00
Niklas Larsson
d4e7ead1be
Merge pull request #4768 from buzden/tutorial-typo-fix
...
Couple of typo fixes in tutorial
2019-10-21 13:31:32 +02:00
Niklas Larsson
3257106a6c
Merge pull request #4767 from zenntenn/patch-1
...
Adding command line for C codegen
2019-10-21 13:30:47 +02:00
Molly Miller
187d05fbc5
Update tutorial PDF
2019-10-20 21:24:40 +01:00
Denis Buzdalov
7f4ee1f326
Type arguments of declaration were made to be similar to the others.
2019-10-19 12:54:55 +03:00
zenntenn
47387f6e01
Adding command line for C codegen
...
Taken from: docs/tutorial/miscellany.rst
2019-10-11 11:26:58 -04:00
Denis Buzdalov
8a25f6503d
Couple of small tutorial typos were fixed.
2019-10-11 13:34:21 +03:00
Edwin Brady
5965fb1621
Add missing case in DumpBC
2019-09-28 21:28:18 +01:00
Edwin Brady
24a083f3ae
Small runtime performance tweak
...
Avoiding needless setting values when we're going to write there anyway.
2019-09-28 20:32:43 +01:00
Edwin Brady
ac930f3dcd
Fix GC heap sizing
...
If there's still not enough room after a GC, grow the heap and do it
again so that there is enough room. (This is a quick hack to fix a rare
issue with large buffers!)
2019-09-28 20:32:43 +01:00
lodi
bcb1c4e9cd
updated ansi-terminal dependency to accept 0.9.x
2019-08-30 17:58:44 -04:00
Niklas Larsson
7af67ac426
Merge pull request #4758 from melted/cabal3
...
Compatibility with Cabal 3.0
2019-08-29 19:45:49 +02:00
Niklas Larsson
9feaa02b07
Compatibility with Cabal 3.0
...
Use the v1 cabal commands
2019-08-28 01:09:23 +02:00
Niklas Larsson
075c0f7f08
Merge pull request #4754 from clayrat/patch-15
...
Fix file handle leaks and simplify code
2019-08-14 13:51:58 +02:00
Alex Gryzlov
229331ce74
Fix file handle leaks and simplify code
2019-08-14 02:03:13 +03:00
Jan de Muijnck-Hughes
476234f8a8
Merge pull request #4751 from AlexIljin/doc-typo-fix
...
Fix a typo in the Vect.replicate documentation
2019-08-06 08:44:18 +01:00
Alexander Iljin
7488182860
Fix a typo in the Vect.replicate documentation
2019-08-05 22:31:08 +02:00
