Juniors, For next week we are reading section 2.1 from Edwin Brady's dissertation[1] on Epigram, a dependently typed programming language. - Sam [1]https://eb.host.cs.st-andrews.ac.uk/writings/thesis.pdf -------------- next part -------------- HTML attachment scrubbed and removed