This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
/** | |
* Seconds to human readable text | |
* Eg: for 36545627 seconds => 1 year, 57 days, 23 hours and 33 minutes | |
* | |
* @return string Text | |
*/ | |
function getHumanTime($seconds) | |
{ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Signal ((<~), Signal) | |
import Signal | |
import List ((::)) | |
import List | |
import Time | |
import Random | |
import Color (rgb) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Graphics.WebGL (..) | |
import Math.Vector3 (..) | |
import Math.Matrix4 (..) | |
type Attribute = {position : Vec3} | |
type Uniform = { rotationMatrix : Mat4} | |
type Varying = {} | |
mapMesh : (a -> b) -> [Triangle a] -> [Triangle b] | |
mapMesh = map << mapTriangle |