@pigworker out with design by committee, in with design by Martin
@amy not exactly...but he does teach with Agda, which is worth a lot
@pigworker out with design by committee, in with design by Martin
@amy not exactly...but he does teach with Agda, which is worth a lot
@amy Can confirm.