えび (ebi_chan) spinylobster

## SemVer.hs
module SemVer(
  makeVersion,
  incrementMajor,
  incrementMinor,
  incrementPatch,
  IncludingNegativeVersion,
) where

import Text.Printf
import Data.Typeable

## tdd-mob-programming-in-matsue.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                spinylobster
                / tdd-mob-programming-in-matsue.md
            
            
              Last active
              November 28, 2018 10:38
            
              
                TDDとモブプロでコードを書く会を松江で始めた話。
              
          
    TDDとモブプロでコードを書く会を松江で始めました

プログラミング・ジム 松江

「 みんなで 」「 楽しく 」「 コードを書く 」会です。

適当な言語・適当なお題を選んで、TDDとモブプログラミングで実装していきます。

TDDワイワイ会(TDDyyχ) のリスペクト。

こういう会を始めました。
定期的に開催していくので、「プログラミングの練習がしたい」「いつもと違う言語を触ってみたい」という人は良かったら参加してください。

  
## coqex_2_unfinished.v
Require Import Arith.

(* 課題6 *)
Goal forall x y, x < y -> x + 10 < y + 10.
Proof.
  intros.
  apply plus_lt_compat_r.
  apply H.
Qed.

## coqex_1.v
Theorem tautology : forall P : Prop, P -> P.
Proof.
  intros P H.
  assumption.
Qed.

(* Error: Attempt to save an incomplete proof *)
(*
Theorem wrong : forall P : Prop, P.
Proof.
	module SemVer(
	makeVersion,
	incrementMajor,
	incrementMinor,
	incrementPatch,
	IncludingNegativeVersion,
	) where

	import Text.Printf
	import Data.Typeable
	Require Import Arith.

	(* 課題6 *)
	Goal forall x y, x < y -> x + 10 < y + 10.
	Proof.
	intros.
	apply plus_lt_compat_r.
	apply H.
	Qed.
	Theorem tautology : forall P : Prop, P -> P.
	Proof.
	intros P H.
	assumption.
	Qed.

	(* Error: Attempt to save an incomplete proof *)
	(*
	Theorem wrong : forall P : Prop, P.
	Proof.