alhassy

First McMaster Programming Languages Meet-up

– Below are the topics that were discussed, April 4 2019 –

“ProLang Meetup”

• Wanna learn some cool programming languages?
• Let’s meet up, once a month, to learn Racket, Clojure, Prolog, OCaml, Coq, & more!
• Our first meet will be this friday, at McMaster university’s ITB 225 at 4pm.
• We’re planning on starting with OCaml via the freely available online “Real World OCaml”.

alhassy

-- Perform: M-x load-file RET to-Σ-editor-tactic.el
--
--------------------------------------------------------------------------------
-- Preamble
open import Data.Unit using (⊤; tt)
open import Data.Product public using (proj₁; proj₂; _,_)
open import Data.Product using (Σ)
open import Data.Nat
open import Relation.Binary.PropositionalEquality