issues
search
frantisekfarka
/
CoALP
Coalgebraic Logic Programing itnerpreter
GNU Lesser General Public License v3.0
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Observation tree
#9
frantisekfarka
opened
8 years ago
0
Coinductive fromuale
#8
frantisekfarka
opened
8 years ago
1
unguarded24
#7
frantisekfarka
opened
8 years ago
0
GC3
#6
frantisekfarka
opened
8 years ago
0
transitive closure not working
#5
kyagrd
opened
9 years ago
0
Critical bug in conjuction: it acts like a disjuction
#4
kyagrd
opened
9 years ago
3
Display
#3
frantisekfarka
opened
9 years ago
0
Readme
#2
frantisekfarka
opened
9 years ago
0
Constants
#1
frantisekfarka
opened
9 years ago
0