Topic: "constraint-rules"
JetBrains/mps-coderules
Type checking and logical inference for JetBrains MPS
Language: JetBrains MPS - Size: 99.6 MB - Last synced at: 12 days ago - Pushed at: 2 months ago - Stars: 33 - Forks: 5

Type checking and logical inference for JetBrains MPS
Language: JetBrains MPS - Size: 99.6 MB - Last synced at: 12 days ago - Pushed at: 2 months ago - Stars: 33 - Forks: 5