grammar is just type checking for human language
Conversation
colourless green ideas sleep furiously
1
1
Replying to
Just came across this! Implements grammar rules in Coq using dependent types:
• gitlab.com/jaam00/nlc
• doi.org/10.26615/978-9
Replying to
There might be other, better papers on this kind of thing - just found it kind of interesting and reminded me of your tweet!
1