this is an attempt to build a type-level definition of an automata to define the meaning of some senteces.
- Define the model of grammar
- Check if sentence is grammarly correct
- Define the intention of each sentence
-
Notifications
You must be signed in to change notification settings - Fork 0
ropoko/type-level-automata
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
type-level definition of an automata to check grammar and sentences meaning