Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / edwinb/typedd-samples issues and pull requests

#16 - How does the inferring work on this line?

Issue - State: open - Opened by coodoo about 6 years ago

#15 - Wrong word in Ch13/Vending.idr

Issue - State: open - Opened by torchlard over 6 years ago

#14 - listing 11.31

Issue - State: closed - Opened by bburdette about 7 years ago - 1 comment

#13 - Remove unnecessary `do` keyword in Chapter12/ArithState.idr

Pull Request - State: closed - Opened by blouerat over 7 years ago

#12 - Fix type in `unsafeRecv` call

Pull Request - State: closed - Opened by ehamberg over 7 years ago - 1 comment

#11 - Listing 6.8 `toFormat` '%' case

Issue - State: closed - Opened by blouerat over 7 years ago

#10 - Chapter 15: no need to have Loop in simple Process

Pull Request - State: open - Opened by dmalikov over 7 years ago

#9 - fix reversed order of "words" and "lines" in WordCount.idr

Pull Request - State: open - Opened by clayrat over 7 years ago

#8 - definition of ProcState in Chapter 15

Issue - State: open - Opened by clayrat over 7 years ago

#7 - fixes segfault

Pull Request - State: closed - Opened by aymanosman over 7 years ago - 1 comment

#6 - use recursive view in exercise 10.2.4

Pull Request - State: open - Opened by clayrat over 7 years ago

#5 - Can't find implementation of Ord a

Issue - State: open - Opened by williamdemeo almost 8 years ago - 1 comment

#4 - ^D in the average word length example causes weird behavior

Issue - State: open - Opened by 1-p almost 8 years ago

#4 - ^D in the average word length example causes weird behavior

Issue - State: open - Opened by 1-p almost 8 years ago

#3 - re-order the vending machine example

Pull Request - State: open - Opened by neilvyas almost 8 years ago - 1 comment

#2 - fix `Nothig` typo

Pull Request - State: closed - Opened by neilvyas almost 8 years ago - 1 comment

#1 - use local variable instead of redundant call.

Pull Request - State: closed - Opened by mknoszlig almost 8 years ago - 1 comment