issues
search
cicada-lang
/
cicada-solo
Cicada Language (solo version)
https://cicada-lang.org
GNU General Public License v3.0
127
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Knowledge & experience sharing with Kind/HVM
#15
dumblob
opened
2 years ago
2
Apply for Contributing
#14
Mepy
opened
2 years ago
0
Does this able to proof function extensionality?
#13
dannypsnl
closed
2 years ago
11
Type: Type can lead to Russell's paradox
#12
ksqsf
opened
2 years ago
3
Define Bools in Nat?
#11
ksqsf
opened
2 years ago
2
Narrator
#10
xieyuheng
closed
2 years ago
1
Exp with span
#9
xieyuheng
closed
2 years ago
1
Implicit arguments -- part 2
#8
xieyuheng
closed
2 years ago
1
Implicit argument (partly)
#7
xieyuheng
closed
2 years ago
1
finish Hurkens
#5
mio-19
closed
3 years ago
1
[wip] port Hurkens
#4
mio-19
closed
3 years ago
1
add TODO
#3
mio-19
closed
3 years ago
1
remove npx in package.json
#2
mio-19
closed
3 years ago
1
finish "the little typer"
#1
xieyuheng
closed
3 years ago
0