Tutorial by Examples: l

Theorem my_first_theorem : 1 + 1 = 2. Proof. reflexivity. Qed. Try it in your browser.
Detailed instructions on getting rcpp set up or installed.
This method works by incrementing an integer from 0 to the greatest index in the array. $colors = ['red', 'yellow', 'blue', 'green']; for ($i = 0; $i < count($colors); $i++) { echo 'I am the color ' . $colors[$i] . '<br>'; } This also allows iterating an array in reverse order wi...
Each array instance contains an internal pointer. By manipulating this pointer, different elements of an array can be retrieved from the same call at different times. Using each Each call to each() returns the key and value of the current array element, and increments the internal array pointer. ...
See also Common Lisp Learning Resources. Online Books Practical Common Lisp, Peter Seibel. Good for experienced programmers. Common Lisp: A Gentle Introduction to Symbolic Computation Good for people new to programming. Common Lisp, the Language On Lisp, Paul Graham The Common Lisp Cookbook ...
Profiles permit the programmer to organize maps into classes, enhancing code readability and maintainability. Any number of profiles can be created, and added to one or more configurations as needed. Profiles can be used with both the static and instance-based APIs. public class User { public...
Often it is useful to be able to load all of the profiles in one or more assemblies into a configuration. AutoMapper provides the method AddProfiles method, which has several overloads that allow profiles to be loaded by passing the Assembly, specifying the assembly name, or specifying a type contai...
If there is no need for frontend in your next project, you can run sails new with additional flag --no-frontend. sails new NameOfProject --no-frontend This will generate everything needed for backend and will omit view, assets and grunt files. More about command line and sails-new: http://sails...
A chrome extension is seperated into a maximum of 4 parts: the background page the popup page one or more content scripts the options page Each part, since they are innately separate, require individual debugging. Keep in mind that these pages are separate, meaning that variables are not d...
The following configuration options should be called on a Rails::Railtie object config.after_initialize: Takes a block which will be run after rails has initialized the application. config.asset_host: This sets the host for the assets. This is useful when using a Content Delivery Network. This i...
After installing Julia, to launch the read-eval-print-loop (REPL): On Unix Systems Open a terminal window, then type julia at the prompt, then hit Return. You should see something like this come up: On Windows Find the Julia program in your start menu, and click it. The REPL should be launched...
The Julia REPL is an excellent calculator. We can start with some simple operations: julia> 1 + 1 2 julia> 8 * 8 64 julia> 9 ^ 2 81 The ans variable contains the result of the last calculation: julia> 4 + 9 13 julia> ans + 9 22 We can define our own variables usi...
There are three built-in REPL modes in Julia: the Julia mode, the help mode, and the shell mode. The Help Mode The Julia REPL comes with a built-in help system. Press ? at the julia> prompt to access the help?> prompt. At the help prompt, type the name of some function or type to get help f...
Code First infer the relationship between the two entities using navigation property. This navigation property can be a simple reference type or collection type. For example, we defined Standard navigation property in Student class and ICollection navigation property in Standard class. So, Code Firs...
HTML 3.2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN"> HTML 3.2 is well supported by most browsers in use. However, HTML 3.2 has limited support for style sheets and no support for HTML 4 features such as frames and internationalization. HTML 2.0 <!DOCTYPE HTML P...
To easily convert all tables in one database, use the following: SET @DB_NAME = DATABASE(); SELECT CONCAT('ALTER TABLE `', table_name, '` ENGINE=InnoDB;') AS sql_statements FROM information_schema.tables WHERE table_schema = @DB_NAME AND `ENGINE` = 'MyISAM' AND `TABLE_TYPE` = '...
@Entity @Table(name="FOO") public class Foo { private UUID fooId; @OneToMany(mappedBy = "bar") private List<FooBar> bars; } @Entity @Table(name="BAR") public class Bar { private UUID barId; @OneToMany(mappedBy = "f...
@Entity @Table(name="FOO") public class Foo { private UUID fooId; @OneToMany @JoinTable(name="FOO_BAR", joinColumns = @JoinColumn(name="fooId"), inverseJoinColumns = @JoinColumn(name="barId")) private List<Bar&g...
@Entity @Table(name="FOO") public class Foo { private UUID fooId; @OneToMany(mappedBy = "bar") private List<Bar> bars; } @Entity @Table(name="BAR") public class Bar { private UUID barId; @ManyToOne @JoinColumn(nam...
@Entity @Table(name="FOO") public class Foo { private UUID fooId; @OneToOne(cascade = CascadeType.ALL) @JoinColumn(name = "barId") private Bar bar; } @Entity @Table(name="BAR") public class Bar { private UUID barId; ...

Page 503 of 861