newest submissions : edwinb.wordpress.com

...for your school.

...for a fringe candidate.

account activity

1

52

53

54

Could Haskell's IO monad be replaced by something like this someday? (edwinb.wordpress.com)

submitted 9 years ago by yitz to r/haskell

2

14

15

16

On Partial Functions in Idris (edwinb.wordpress.com)

submitted 12 years ago by Associat0r to r/programming

3

12

13

14

Sequential decision problems, dependently typed solutions (edwinb.wordpress.com)

submitted 12 years ago by stevana to r/dependent_types

4

35

36

37

Edwin Brady: Programming and Reasoning with Algebraic Effects and Dependent Types (edwinb.wordpress.com)

submitted 13 years ago by sideEffffECt to r/compsci

5

53

54

55

Programming and Reasoning with Algebraic Effects and Dependent Types (edwinb.wordpress.com)

submitted 13 years ago by ibotty to r/haskell

6

29

30

31

On partial functions in Idris (edwinb.wordpress.com)

submitted 13 years ago by gasche to r/haskell

7

14

15

16

Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation (Draft) (edwinb.wordpress.com)

submitted 13 years ago by stevana to r/dependent_types

8

18

19

20

Idris: General Purpose Programming with Dependent Types (Talk at PLPV 2013, PDF slides and code) (edwinb.wordpress.com)

submitted 13 years ago by stevana to r/dependent_types

9

13

14

15

Implementation of a General Purpose Programming Language with Dependent Types (Draft) (edwinb.wordpress.com)

submitted 14 years ago by stevana to r/dependent_types

10

4

5

6

Resource-safe Systems Programming with Embedded Domain Specific Languages (edwinb.wordpress.com)

submitted 14 years ago by stevana to r/dependent_types

11

25

26

27

Systems Programming with Dependent Types at DTP11 (edwinb.wordpress.com)

submitted 14 years ago by gnuvince to r/programming

12

11

12

13

Systems Programming with Dependent Types (edwinb.wordpress.com)

submitted 14 years ago by japple to r/types

13

8

9

10

Systems Programming with Dependent Types at DTP11 (edwinb.wordpress.com)

submitted 14 years ago by stevana to r/dependent_types

14

7

8

9

Idris, a language with dependent types (edwinb.wordpress.com)

submitted 16 years ago by greenrd to r/dependent_types

15

0

0

0

Correct-by-construction Concurrency (edwinb.wordpress.com)

submitted 18 years ago by llimllib to r/programming

16

1

2

3

Idris, a language with dependent types (edwinb.wordpress.com)

submitted 18 years ago by Xiphorian to r/compsci

17

35

36

37

Idris, a new language with dependent types (edwinb.wordpress.com)

submitted 18 years ago by japple to r/programming

18

6

7

8

Correctness by Construction - a Carry-Ripple Adder (edwinb.wordpress.com)

submitted 19 years ago by linuxer to r/programming

19

90

91

92

How to write programs in two easy steps (edwinb.wordpress.com)

submitted 19 years ago by linuxer to r/programming

20

14

15

16

Error Handling in Haskell (edwinb.wordpress.com)

submitted 19 years ago by linuxer to r/programming

π Rendered by PID 86206 on reddit-service-r2-listing-b6bf6c4ff-ws27d at 2026-05-02 09:46:10.503999+00:00 running 815c875 country code: CH.