Dependent Haskell, GADTs, Type Families, Kind System
A History of Pong
hackaday.com·17h
P-CoT: A Pedagogically-motivated Participatory Chain-of-Thought Prompting for Phonological Reasoning in LLMs
arxiv.org·6d
Loading...Loading more...
Dependent Haskell, GADTs, Type Families, Kind System