Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sweirich/pi-forall issues and pull requests
#33 - Slight improvement in `C-CASE-SIMPLE` and typo in `C-CONTRA`
Pull Request -
State: closed - Opened by melwyn95 4 months ago
- 1 comment
#32 - fix typo in `Γ ⊢ b[a/x] ⇐ B` and type of `head`
Pull Request -
State: closed - Opened by melwyn95 4 months ago
- 1 comment
#31 - Add position to PRINTME parser
Pull Request -
State: closed - Opened by dunhamsteve 5 months ago
- 1 comment
#30 - Fix typo in Beautiful data type
Pull Request -
State: closed - Opened by agustinmista 6 months ago
#29 - Added symmetry example to the end of section 7.2
Pull Request -
State: closed - Opened by ngernest over 1 year ago
- 2 comments
#28 - Fix the missing well-formedness conditions in T-refl-alt and T-contra
Pull Request -
State: closed - Opened by ltzone over 1 year ago
#27 - Update the lecture notes
Pull Request -
State: closed - Opened by ltzone over 1 year ago
#26 - Explanations & typo fixes
Pull Request -
State: closed - Opened by atsuzaki over 1 year ago
#25 - doc: Footnote weirdness
Issue -
State: closed - Opened by atsuzaki over 1 year ago
- 1 comment
#24 - My edits
Pull Request -
State: closed - Opened by davidlaewen over 1 year ago
#23 - Allow different branch levels
Pull Request -
State: closed - Opened by ionathanch over 1 year ago
- 8 comments
#22 - Create LICENSE
Pull Request -
State: closed - Opened by sweirich about 2 years ago
#21 - Fix typo in oplss.mng
Pull Request -
State: closed - Opened by dunhamsteve over 2 years ago
- 1 comment
#20 - Proof read upto part2 and other improvements
Pull Request -
State: closed - Opened by k4rtik over 2 years ago
#19 - Improvements to Notes
Pull Request -
State: closed - Opened by k4rtik over 2 years ago
- 4 comments
#18 - Fix Heisenbug and update makefile to be a bit silent
Pull Request -
State: closed - Opened by k4rtik over 2 years ago
- 2 comments
#17 - remove nonexistent test suite from cabal file
Pull Request -
State: closed - Opened by catern over 2 years ago
- 1 comment
#16 - Fix build for GHC 8.8.3
Pull Request -
State: closed - Opened by k4rtik over 4 years ago
- 1 comment
#15 - Why there is no content in pi-forall/version1/test/Lec1.pi?
Issue -
State: closed - Opened by qdwang about 8 years ago
- 1 comment
#14 - Cannot install with Stack with LTS 6.13
Issue -
State: closed - Opened by FranklinChen over 8 years ago
- 1 comment
#13 - make pi-forall work on both: ghc 7.8.4 and 7.10.3, intial commit
Pull Request -
State: closed - Opened by reuleaux almost 9 years ago
- 1 comment
#12 - Broken due to upstream Unbound changes
Issue -
State: closed - Opened by jmitchell about 9 years ago
- 1 comment
#11 - Port pi-forall to unbound-generics
Pull Request -
State: closed - Opened by lambdageek over 9 years ago
- 1 comment
#10 - Fix formatting and errors in notes2.md
Pull Request -
State: closed - Opened by jstolarek about 10 years ago
- 1 comment
#9 - Minor fixes in lecture notes
Pull Request -
State: closed - Opened by jstolarek about 10 years ago
- 1 comment
#8 - Added primitive PRINTME for better interactive programming
Pull Request -
State: closed - Opened by serendependy over 10 years ago
#7 - Factor out constraintToDecls
Pull Request -
State: closed - Opened by nomeata over 10 years ago
#6 - Fix data con type result checking bug
Pull Request -
State: closed - Opened by nomeata over 10 years ago
#5 - Fix some ASCII-art in notes3.md
Pull Request -
State: closed - Opened by nomeata over 10 years ago
- 1 comment
#4 - Broken with parsec 3.1.5
Issue -
State: closed - Opened by IgnoredAmbience over 10 years ago
- 1 comment
#3 - Array bump
Pull Request -
State: closed - Opened by jwiegley over 10 years ago
#1 - Update comment in Hw1
Pull Request -
State: closed - Opened by nomeata over 10 years ago