| <form id="loginForm" method="post" action="${request.route_url('login')}"> | |
| <input type="hidden" name="csrf_token" value="${request.session.get_csrf_token()}"/> | |
| <fieldset class="concise"> | |
| <metal:field tal:define="name 'came_from'" use-macro="snippets['hidden']"/> | |
| <metal:field tal:define="name 'login'" use-macro="snippets['text']"/> | |
| <metal:field tal:define="name 'password'" use-macro="snippets['password']"/> | |
| </fieldset> | |
| <div class="buttonBar"> | |
| <button type="submit" class="default" i18n:translate="">Login</button> | |
| </div> |
| (ns create-draw.opencv | |
| (:import | |
| org.opencv.core.Core | |
| org.opencv.core.Mat | |
| org.opencv.core.MatOfRect | |
| org.opencv.core.Point | |
| org.opencv.core.Rect | |
| org.opencv.core.Scalar | |
| org.opencv.highgui.Highgui | |
| org.opencv.objdetect.CascadeClassifier)) |
| #!flask/bin/python | |
| from flask import Flask, jsonify, abort, request, make_response, url_for | |
| from flask_httpauth import HTTPBasicAuth | |
| app = Flask(__name__, static_url_path = "") | |
| auth = HTTPBasicAuth() | |
| @auth.get_password | |
| def get_password(username): | |
| if username == 'miguel': |
| -- base ==4.7.0.1 | |
| -- bytestring ==0.10.4.0 | |
| -- connection ==0.2.4 | |
| -- network ==2.4.2.3 | |
| -- text ==1.1.0.0 | |
| -- websockets ==0.9.3.1 | |
| import Control.Concurrent (forkIO) | |
| import Control.Monad (forever, void) | |
| import qualified Data.ByteString as BS |
| {-# LANGUAGE ExistentialQuantification #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE UndecidableInstances #-} | |
| module Fix where | |
| -- Definitions: | |
| -- | |
| -- If (μF,inF) is the initial F-algebra for some endofunctor F |
| {-# LANGUAGE DeriveFunctor #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE OverlappingInstances #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| -- |Tentative at composing @Free@ and @Cofree@ things to separate DSL fragments and interpreters | |
| -- the goal is to be able to define separately DSL fragments, and their interpretation(s), and | |
| -- combine them at will. |
| {-# LANGUAGE DeriveFunctor #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {- | |
| Explores Free Monads (DSLs) and Cofree Comonads (interpreters) and | |
| their relationship. | |
| Most of the code in this file comes from (1) below. Only minor | |
| modifications are made - semantics are preserved. |
| curl http://www.linux-projects.org/listing/uv4l_repo/lrkey.asc | sudo apt-key add - | |
| sudo vi /etc/apt/sources.list | |
| cat /etc/apt/sources.list | |
| deb http://mirrordirector.raspbian.org/raspbian/ wheezy main contrib non-free rpi | |
| deb http://www.linux-projects.org/listing/uv4l_repo/raspbian/ wheezy main | |
| sudo apt-get update | |
| sudo apt-get install uv4l-webrtc | |
| sudo apt-get install uv4l-raspicam-extras | |
| sudo service uv4l_raspicam restart |
Copyright © 2016-2018 Fantasyland Institute of Learning. All rights reserved.
A function is a mapping from one set, called a domain, to another set, called the codomain. A function associates every element in the domain with exactly one element in the codomain. In Scala, both domain and codomain are types.
val square : Int => Int = x => x * x