The portfolio from kijeong-lim

View Code? Open in Web Editor NEW

My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.

portfolio's People

Contributors

Stargazers

portfolio's Issues

`Lib.Text.PC.Base.ParserBase' is not MonadPlus!

MonadPlus laws:
  left zero:         +++ OK, passed 500 tests.
  left identity:     +++ OK, passed 500 tests.
  right identity:    +++ OK, passed 500 tests.
  associativity:     *** Failed! Falsified (after 17 tests and 5 shrinks):    
PAct ([] +-> PAct ([] +-> PVal 15))
PAct ([] +-> PAct ([] +-> PAct ([] +-> PAct [-1,-12,6,15,11,13,-4,-11,-1,4,16,-5,-9,-6,-6] [(PAct [9] [],"\SOH_e\SOH<q\260334")])))
PAct [-6,-5,-1,-4,12,8] [(PAct ([] +-> PAct ([] +-> PAct ([] +-> PVal (-16)))),"\GS\483678"),(PAct ([] +-> PAct ([] +-> PAct [] [])),"ae\DC1\roSB\DC3\312652\939748o1R/"),(PAct ([] +-> PAct ([] +-> PAct ([] +-> PVal (-5)))),"O")]
"B"
  left distribution: *** Failed! Falsified (after 3 tests and 2 shrinks):
PAct ([] +-> PVal 1)
PAct ([] +-> PAct [] [])
<function>
""
""

Aladdin Proposals

Introduce module system.
Introduce Haskell's feature (data rather than kind, type synonym, type class).
Make error messages pretty.
Allow D ::= D /\ D.
Allow user-defined operators.
Introduce constraint handling rules (CHR) like Elpi.

Recommend Projects