ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-11 14:57:30 +03:00
Code Issues Projects Releases Wiki Activity
5,395 Commits 4 Branches 42 Tags 40 MiB
44bdf1dd40
Commit Graph

43 Commits

Author SHA1 Message Date
Tenor Biel
44bdf1dd40 Changed (<$>) to (<*>) 2015-03-02 10:08:22 +01:00
Heather
d20e863926 remove /examples/ folder, move Makefile to /samples/ 2014-12-13 23:50:03 +04:00
Ahmad Salim Al-Sibahi
fe569c4e0d Finished making standard library naming consistent 2014-09-26 07:34:38 +02:00
Ahmad Salim Al-Sibahi
6faa1ab210 Renaming of built-in datatypes works finally 2014-09-26 07:34:29 +02:00
Ahmad Salim Al-Sibahi
f0ed9e992f First renaming attempt 2014-09-26 07:34:28 +02:00
David Raymond Christiansen
c1ef93887a New syntax for documentation comments 
Implementation entailed removing documentation from the idris_implicits
field of IState, which is why so many files are touched.
 2014-03-03 00:05:09 +01:00
George Leontiev
3c32b65e24 Whitespace cleanup. 2013-11-01 14:33:45 +01:00
Edwin Brady
d6f785e763 Fix Vect arguments in samples/ 2013-07-28 14:03:52 +01:00
raichoo
faf04f3d28 rename fO into fZ 2013-07-26 21:17:14 +02:00
raichoo
2311d55013 rename O into Z 2013-07-26 21:05:47 +02:00
Jan Bessai
eacfe5cc18 Added backend target specification to %lib, %link and %include directives 2013-06-21 19:41:53 +02:00
Jan Bessai
d479f4acaa Improved performance by not going through PQuote and doing less normalisation 2013-03-25 19:57:19 +01:00
Jan Bessai
b65a0fbbfa Include reflection of the current goal in proofscript arguments 2013-03-25 10:05:59 +01:00
Jan Bessai
c1a4eac063 Full TT reflection and reification 2013-03-24 16:54:53 +01:00
Jan Bessai
dc91b01dfd Java FFI: imports included and dependencies downloaded via maven 2013-03-17 17:31:16 +01:00
Jan Bessai
43056d675d Backend support for Java 2013-03-11 19:48:01 +01:00
Frederic Koehler
4a15c64812 Fix samples to use Type instead of Set 2013-01-29 01:47:02 -05:00
Edwin Brady
b74161ffb8 Minor parser fixes; added binary sample 2012-10-02 00:29:02 +01:00
Edwin Brady
21ffb28b48 Add a sample of named instances 2012-05-03 23:07:17 +01:00
Edwin Brady
a94fd816b9 Remove Eq constraint from Num 2012-03-01 10:46:12 +00:00
Edwin Brady
f355c72111 Update dependencies and correct examples 2012-02-27 23:47:01 +00:00
Edwin Brady
02003d7ad5 Added malloc and trace_malloc 
*** This will need the latest EpiVM ***
 2012-02-27 16:11:09 +00:00
Edwin Brady
3f13043f94 Make compile time evaluator take advantage of laziness again 
(And update test001 to catch it if it goes wrong again)
 2012-02-26 17:06:36 +00:00
Edwin Brady
605aea3fcc tinker 2012-02-25 18:58:31 +00:00
Edwin Brady
7e2765b2d1 Idiom brackets and dsl notation in tutorial 2012-01-28 18:09:19 -05:00
Edwin Brady
fb3160e9f4 Tidy up interpreter sample 2012-01-21 14:11:22 -05:00
Edwin Brady
dc3f0f9afd added dsl blocks 2012-01-21 14:05:51 -05:00
Edwin Brady
6682ebb9c6 Propagate solutions properly 2012-01-16 21:57:01 +00:00
Edwin Brady
baaba44c94 Run-time forcing optimisation 2012-01-10 12:51:23 +00:00
Edwin Brady
7f74f914b7 Fix error handling again in repl 2012-01-08 00:05:38 +00:00
Edwin Brady
b0f47e1769 Made braces optional 
(at the expense of 'with' now needing the expression to be tested in
brackets)
do notation doesn't quite behave right - the first token after the
do block must be at a lower level of indentation, which means putting
it in brackets is awkward.
 2012-01-07 14:19:59 +00:00
Edwin Brady
bd61594868 Removed need for terminating ; 
A declaration is now considered terminated on encountering a token
in the same column as the declaration began - or on encountering
a semicolon.
Libraries and some tests updated.
 2012-01-06 22:57:04 +00:00
Edwin Brady
0f7b6d587f Correct test004 2011-12-16 17:43:08 +00:00
Edwin Brady
b6456999e3 Don't write .ibc on error; add new test 2011-12-09 07:54:30 +00:00
Edwin Brady
73846830fb Fiddle with elaborator; update interp sample and test 2011-12-02 16:50:05 +00:00
Edwin Brady
3b5e50c1f9 Added universe constraint checker and --typeintype command line option 2011-12-01 15:13:25 +00:00
Edwin Brady
40c303bd34 Since we can overload things, might as well use less ugly names ;) 2011-11-29 17:08:45 +00:00
Edwin Brady
57c8ed3ba4 Added 'module' keyword to declare default namespace. 'main' must be in namespace 'main' 2011-11-29 12:04:39 +00:00
Edwin Brady
6bef4f930d Overloading lists and syntactic sugar 2011-11-29 11:25:54 +00:00
Edwin Brady
598aca471d Update interp example and test001 to use namespaces and overloading names 2011-11-29 11:06:01 +00:00
Edwin Brady
2e02cf6748 Logging options 2011-11-15 10:46:37 +01:00
Edwin Brady
33710ab0f9 Parsing class and instance (but no elaboration yet) 2011-11-07 15:23:27 +00:00
Edwin Brady
df4ee4f77e Made samples directory 2011-11-06 19:47:40 +00:00