spamegg spamegg1

People

MTH 325 Learning Targets

P.1: I can set up a framework of assumptions and conclusions for proofs using direct proof, proof by contraposition, and proof by contradiction.
P.2: I can identify the predicate being used in a proof by mathematical induction and use it to set up a framework of assumptions and conclusions for an induction proof.
P.3: I can identify the parts of a proof, including the technique used and the assumptions being made.
P.4: I can perform a critical analysis of a written proof and provide a detailed explanation of the steps used in the proof.

This is a summary of the guidelines presented by Martin Odersky during his talk Scala with Style.

Antibody:

⚠️ Deprecated. Official recommendation is to use Antidote instead

Add <owner>/<repo> to your plugins file. If you use static loading, run the update command.
Antidote: Add <owner>/<repo> to your plugins file. If you generate your static plugins file manually, run the bundle command.

	package fpmax

	import scala.util.Try
	import scala.io.StdIn.readLine

	object App0 {
	def main: Unit = {
	println("What is your name?")

	val name = readLine()

	#![allow(unused_imports)]
	extern crate regex;
	#[macro_use]
	extern crate lazy_static;
	extern crate itertools;
	extern crate pbr;
	extern crate colored;
	use std::collections::VecDeque;
	use itertools::Itertools;
	use pbr::ProgressBar;

	import shapeless._, shapeless.ops.hlist._, shapeless.labelled.FieldType

	trait Op[A] extends DepFn1[A]

	trait LowPriority {
	implicit def identity[A]: Op.Aux[A, A] = Op.createInstance(i => i)
	}

	object Op extends LowPriority {
	type Aux[A, OUT0] = Op[A] { type Out = OUT0 }