Edwin Brady | Lambda the Ultimate

Edwin Brady

view
track

Personal information

Country:
UK

Gender:
male

Biography:

Computer Science Lecturer, Idris implementer

Interests:

Functional programming, language implementation, dependent types, type theory, DSLs

History

Member for:
22 years 15 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

See §3.4 for quibbles about definitions
1 week 2 days ago
(duplicate, dunno how to delete)
1 week 2 days ago
(duplicate, dunno how to delete)
1 week 2 days ago
(duplicate)
1 week 2 days ago
Multiple Dispatch is in §9.3
1 week 2 days ago
Tilting at windmills
29 weeks 5 hours ago
Yah but there's a point to it.
29 weeks 12 hours ago
methods are to a type as wool is to water
29 weeks 1 day ago
Do methods "belong to" a type? If so how do you decide which?
29 weeks 1 day ago
§3.1.4 OO isn’t Encapsulation [deleted]
29 weeks 4 days ago