bjartwolf

let VolumeA0IsPyramid ((h:decimal<m>), (b:decimal<m>)) = 
        RoundM3(V h 0m<m> b) = RoundM3( b * b * h / 3m )
    
Check.Quick (Prop.forAll twoDecimals VolumeA0IsPyramid)

bjartwolf

using System;
using System.IO;
using System.Text;

namespace AllCapsMiddleware
{
    class CapsStream: Stream
    {
        private readonly Stream _stream;
        private readonly Decoder _decoder;

bjartwolf

using System;
using System.IO;
using System.Text;

namespace HelloWorldMiddleWare2
{
    class CapsStream: Stream

    {
        private Stream _stream;

bjartwolf

using System;
using System.Collections.Generic;
using System.Threading.Tasks;
using Microsoft.Owin;

namespace AllCapsMiddleware
{
    using AppFunc = Func<IDictionary<string,object>, Task>;
    public class AllCaps
    {

bjartwolf

public class Startup 
{ 
   public void Configuration(IAppBuilder appBuilder) 
   { 
       HttpConfiguration config = new HttpConfiguration();
       config.MapHttpAttributeRoutes();
	   appBuilder.Use<AllCapsMiddleware.AllCaps>();
	   appBuilder.UseWebApi(config); 
   } 
}

bjartwolf

public async Task Invoke(IDictionary<string, object> env)
{
    var ctx = new OwinContext(env);
    var accepts = ctx.Request.Accept;
    if (accepts != null && accepts == accepts.ToUpper())
    {
        ctx.Response.Body = new CapsStream(ctx.Response.Body);
    }
    await next(env);
}

bjartwolf

sPort := SerialPort new.
sPort baudRate: 57600.
sPort close.
sPort openPort: '/dev/ttyAMA0'.
sPort nextPutAll: '#PR010G255B255T001'.

bjartwolf

namespace FDK.SmsSender

open PSWinCom.Gateway.Client;
open Model;
open log4net.Ext.EventID;

type ISmsService = 
    abstract member SendSms: recieverNumber: string -> body: string -> unit 

type UnknownError = { Error: string}

bjartwolf

let ``In Western Christianity, using the Gregorian calendar, Easter always falls on a Sunday between 22 March and 25 April inclusive``(date: DateTime) =
    let easter = EasterDay date.Year
    let firstPossibleDay = new DateTime(date.Year, 3, 22)
    let lastPossibleDay = new DateTime(date.Year, 4, 25)
    easter >= firstPossibleDay && easter <= lastPossibleDay && easter.DayOfWeek = DayOfWeek.Sunday

bjartwolf

module ant

// The position is a x-y coordinate
type Pos = int*int
// The set of all points on the board which are black
type Blacks = Set<Pos>
type Dir = Right | Up | Left | Down
// This is the entire game state in one turn
type State = Pos * Dir * Blacks