search

kmyk-jikka / Jikka

an automated solver for problems of competitive programming
https://kmyk-jikka.github.io/Jikka/playground
Apache License 2.0
151 stars 11 forks source link

data Builtin から data Type への依存をなくす #134

Closed kmyk closed 3 years ago

kmyk commented 3 years ago

GHC Core みたいに「型は項」をして高階型を足すのがよい