▽Tcler’s Wiki
●11/10 15:28
Showcase

▽AM02:50 Tcl/Tk Scripting Laboratory
●07/08 16:27
© Yahoo Japan

▽So-net blog:Rainy Day Codings
●08/23 14:07
AgdaによるTaPL - Typed Arithmetic Expressions [Agda]
｢ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語の基礎概念｣(五十嵐2011)をAgdaでやっていた途中だが､ ここで ”Types and Programming Language” (Pierce 2002) の第8章 ”Typed Arithmetic Expressions” をAgdaでやることにする｡
open import Relation.Binary.PropositionalEquality
using (_≡_; refl)
open import Data.Product
using (_×_; proj〓; proj〓; ∃; ∃-syntax) renaming (_,_ to 〓_,_〓)
open import Data.Sum using (_〓_; inj〓; inj〓)
Synta

▽もっとTcl/Tk
●11/19 03:27
2009.11.16 Tcl/Tk 8.5.8 SourceForgeのｻｲﾄでﾘﾘｰｽされました｡