Molog
Molog copied to clipboard
acfoltzer
A typed logic programming language embedded in Haskell
Results
1
Molog issues
Sort by
recently updated
recently updated
newest added
Like in previous incarnations of this system, we need an alternative to the built-in list type: ``` haskell data [a] = [] | a : [a] ``` This isn't suitable...
