Skip to content

Instantly share code, notes, and snippets.

Avatar

Musa Al-hassy alhassy

View GitHub Profile
@alhassy
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
alhassy / meetup_prolang.org
Last active Apr 5, 2019
First McMaster Programming Languages Meet-up
View meetup_prolang.org

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