Skip to content

Instantly share code, notes, and snippets.


Musa Al-hassy alhassy

View GitHub Profile
alhassy / example-usage.agda
Last active Dec 22, 2020
An Emacs editor tactic to produce Σ-types from Agda records (•̀ᴗ•́)و
View example-usage.agda
-- 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
alhassy /
Last active Apr 5, 2019
First McMaster Programming Languages Meet-up

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”.