Ecosyste.ms: Issues

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

GitHub / cicada-lang/mugda issues and pull requests

#7 - Can not handle abstraction over constructor

Issue - State: open - Opened by xieyuheng over 2 years ago - 2 comments

#6 - [🐛] This code does not run as expected

Issue - State: closed - Opened by LittleJianCH over 2 years ago - 1 comment

#5 - How to interpret the Order of the Mugda paper in some Three-valued logic?

Issue - State: open - Opened by xieyuheng over 2 years ago - 1 comment

#2 - Problems of the Mugda paper

Issue - State: open - Opened by xieyuheng over 2 years ago - 3 comments

#1 - Added some examples (Add, Even, Ord)

Pull Request - State: closed - Opened by jwyjohn over 2 years ago - 3 comments