Ecosyste.ms: Issues

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

GitHub / FMFI-UK-1-AIN-412/elm-formula issues and pull requests

#16 - More spacious rendering to strings

Pull Request - State: closed - Opened by crnkjck over 3 years ago

#15 - Allow unicode alphanumerics, _ and $ in identifiers

Pull Request - State: closed - Opened by crnkjck over 3 years ago

#14 - Allow unicode alphanumerics in non-logical symbols

Issue - State: closed - Opened by crnkjck over 3 years ago

#13 - Substitution parser

Pull Request - State: closed - Opened by MatejKomlossy over 3 years ago - 1 comment

#12 - Equivalence

Pull Request - State: closed - Opened by MatejKomlossy over 3 years ago

#11 - add equality atom

Pull Request - State: closed - Opened by MatejKomlossy almost 4 years ago - 1 comment

#10 - version bumped to 3.1.1

Pull Request - State: closed - Opened by crnkjck almost 4 years ago - 1 comment

#9 - corrected tests

Pull Request - State: closed - Opened by MatejKomlossy almost 4 years ago

#8 - added docs, increased version number

Pull Request - State: closed - Opened by MatejKomlossy almost 4 years ago - 2 comments

#7 - Split Formula into submodules

Pull Request - State: closed - Opened by MatejKomlossy almost 4 years ago - 1 comment

#6 - Upgrade to elm 0.19.1

Pull Request - State: closed - Opened by crnkjck over 4 years ago - 1 comment

#5 - Fix documentation

Pull Request - State: closed - Opened by ZoltanOnody over 6 years ago - 1 comment

#4 - parser BNF

Issue - State: closed - Opened by ZoltanOnody over 6 years ago

#3 - Free variable

Issue - State: closed - Opened by ZoltanOnody over 6 years ago - 4 comments

#2 - [WIP] Add/validation for gamma delta

Pull Request - State: closed - Opened by nitrajka over 6 years ago - 3 comments

#1 - Add build status badge

Pull Request - State: closed - Opened by ZoltanOnody over 6 years ago