RChain-Collaborative-Learning Introduction-to-the-Design-of-Computational-Calculi issues - Githubissues

RChain-Collaborative-Learning / Introduction-to-the-Design-of-Computational-Calculi

8 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Adding blog posts

#7 Isaac-DeFrain closed 3 years ago
0
Greg Exercise 04 - Grammar and Operational Semantics for Numerals

#6 Jake-Gillberg opened 6 years ago
2
Jake Exercise 02 - pi calc structural equivalence in kframework

#5 Jake-Gillberg opened 6 years ago
0
Jake Exercise 01 - pi calc grammar in kframework

#4 Jake-Gillberg opened 6 years ago
0
Greg Exercise 01 - rho calc grammar

#3 Jake-Gillberg opened 6 years ago
1
Greg Exercise 02 - bound names, other grammars

#2 Jake-Gillberg opened 6 years ago
7
Greg Exercise 03 - reduction rules

#1 Jake-Gillberg opened 6 years ago
5