issues
search
cicada-lang
/
mugda
An implementation of the mugda paper
GNU General Public License v3.0
2
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Can not handle abstraction over constructor
#7
xieyuheng
opened
2 years ago
2
[🐛] This code does not run as expected
#6
LittleJianCH
closed
2 years ago
1
How to interpret the Order of the Mugda paper in some Three-valued logic?
#5
xieyuheng
opened
2 years ago
1
[feature] support `match` keyword instead of only supporting haskell-like function clauses
#4
xieyuheng
opened
2 years ago
0
In the paper, why inaccessible pattern has `exp` instead of `pattern`?
#3
xieyuheng
opened
2 years ago
0
Problems of the Mugda paper
#2
xieyuheng
opened
2 years ago
3
Added some examples (Add, Even, Ord)
#1
jwyjohn
closed
2 years ago
3