Study notes on semantics of programming languages & theorem proving.
cf. 『プログラミング言語の基礎概念』
Study notes on semantics of programming languages & theorem proving
Idris
Study notes on semantics of programming languages & theorem proving.
cf. 『プログラミング言語の基礎概念』